Hyper Tableaux

Reference:

P. Baumgartner, U. Furbach, and Ilkka Niemelä. Hyper tableaux. In José Júlio Alferes, Luís Moniz Pereira, and Ewa Orlowska, editors, Proceedings of the European Workshop on Logics in Artificial Intelligence (JELIA'96), pages 1–17, Èvora, Portugal, September/October 1996. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{BFN96:jelia,
    address = {\`Evora, Portugal},
    author = {P. Baumgartner and U. Furbach and Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the European Workshop on Logics in Artificial Intelligence {(JELIA'96)}},
    editor = {Jos\'e J\'ulio Alferes and Lu\'is Moniz Pereira and Ewa Orlowska},
    month = {September/October},
    pages = {1--17},
    publisher = {Springer-Verlag},
    title = {Hyper Tableaux},
    year = {1996},
}