Simplification by cooperating decision procedures (1979)

by G Nelson, D C Oppen
Venue:ACM Trans. on Programming Languages and Systems