Simplification by cooperating decision procedures (1979)

by Greg Nelson, Derek C Oppen
Venue:ACM Transactions on Programming Languages and Systems