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