Consolution as a framework for comparing calculi (1993)

by P Baumgartner, U Furbach
Venue:Journal of Symbolic Computation