Automated Deduction by Theory Resolution (1985)

Cached

Download Links

by Mark E. Stickel
Venue:Journal of Automated Reasoning
Citations:131 - 1 self