Hyper tableaux with equality. (2007)

by Peter Baumgartner, Ulrich Furbach, Bjorn Pelzer
Venue:CADE