Simplification by cooperating decision procedures (1979)

Cached

Download Links

by Greg Nelson , Derek C. Oppen
Venue:ACM Transactions on Programming Languages and Systems
Citations:396 - 1 self