"The Hyper Tableaux Calculus with Equality and an Application to Finite ..."

Peter Baumgartner, Ulrich Furbach, Björn Pelzer (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics