Automated Deduction by Theory Resolution (1985)

by M Stickel
Venue:In Proc. of 9th Intl Joint Conf on Artificial Intelligence, IJCAI 85