@InProceedings{BaumgartnerBeckertEA96,
author = {Peter Baumgartner and Bernhard Beckert and Michael
K\"uhn},
title = {Extending Hyper Tableaux with Rigid {$E$}-Unification},
editor = {K. Prasser},
booktitle = {Workshop Deduktion, {20. Jahrestagung} f\"ur
k\"unstliche Intelligenz (KI)},
venue = {Dresden, Germany},
series = {Internal Reports},
organization = {Technische Universit\"at Dresden, Fakult\"at Informatik},
year = {1996},
number = {WV-96-09}
}