Automated Deduction by Theory Resolution (1985)

Cached

Download Links

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