Automated Deduction by Theory Resolution (1985)

by Mark E Stickel
Venue:Journal of Automated Reasoning