E.: “Automated Deduction by Theory Resolution (1985)

by M Stickel
Venue:Journal of Automated Reasoning