Simpli by cooperating decision procedures (1979)

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