Simplification by cooperating decision procedures, (1979)

by G Nelson, D C Oppen
Venue:ACM Trans. Prog. Lung. Syst.