Consolution as a Framework for Comparing Calculi (1994)

by Peter Baumgartner , Ulrich Furbach
Venue:JOURNAL OF SYMBOLIC COMPUTATION
Citations:14 - 10 self