Consolution as a Framework for Comparing Calculi (1993)

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