@misc{BaumgartnerFurbachPelzer2007, author = {Peter Baumgartner and Ulrich Furbach and Bj{\"o}rn Pelzer}, title = {Hyper tableaux with equality}, institution = {Institut f{\"u}r Informatik}, series = {Arbeitsberichte, FB Informatik}, number = {2007,12}, type = {periodicalpart}, pages = {29}, year = {2007}, }