Consolution as a Framework for Comparing Calculi.

Peter Baumgartner, Ulrich Furbach

Browse the full TABLEAUX paper archive.