The applicability of logic program analysis and transformation to theorem proving (1994)

by D A de Waal, J Gallagher
Venue:Automated Deduction, CADE12, Proceedings, LNCS 814