Hyper Tableaux

Reference:

P. Baumgartner, U. Furbach, and Ilkka Niemelä. Hyper tableaux. Fachbericht Informatik 8–96, Universität Koblenz-Landau, 1996. Available at http://www.uni-koblenz.de/fb4/publikationen/gelbereihe/.

Suggested BibTeX entry:

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