DMCA

Simplification by cooperating decision procedures (1979)

Cached

Download Links

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