@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}
}