DMCA

A practical decision procedure for arithmetic with function symbols (1979)

Cached

Download Links

by Robert E. Shostak
Venue:Journal of the ACM
Citations:70 - 1 self