Hyper Tableaux (1996)
AUTHORS:
Baumgartner P. , Furbach U. , Niemelä Ilkka
INSTITUTION:
Universit\"at Koblenz-Landau
@techreport{ BFN:FB96NR8_ini, 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} }
