@InProceedings{BHS98,
    Author       = "Balsiger, P. and Heuerding, A. and Schwendimann, S.",
    Year         = "1998",
    Title        = "{Logics Workbench 1.0}",
    Editor       = "de Swart, H.",
    BookTitle    = "{Proceedings of the International Conference on Automated Reasoning with
                    Analytic Tableaux and Related Methods}",
    Place        = "Oisterwijk, The Netherlands",
    Series       = "{Lecture Notes in Computer Science}",
    Volume       = "1397",
    Pages        = "35",
    Publisher    = "Springer",
    Address      = "Berlin, Germany",
    Comment      = ""
}