@techreport{BFN:FB96NR8,
author = {P. Baumgartner and U. Furbach and Ilkka Niemel{\"a}},
institution = {Universit{\"a}t Koblenz-Landau},
note = {Available at \url{http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/}},
number = {8--96},
title = {Hyper Tableaux},
type = {Fach\-be\-richt Informatik},
year = {1996},
}