Hyper Tableaux with Equality.

Peter Baumgartner, Ulrich Furbach, Bjrn Pelzer

Browse the full CADE paper archive.