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