@InProceedings{HJL99,
    Author       = "Hillenbrand, T. and Jaeger, A. and L{\"o}chner, B.",
    Year         = "1999",
    Title        = "{Waldmeister - Improvements in Performance and Ease of Use}",
    Editor       = "Ganzinger, H.",
    BookTitle    = "{Proceedings of the 16th International Conference on Automated Deduction}",
    Place        = "Trento, Italy",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "1632",
    Pages        = "232-236",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRefForResults,TPTPCite"
}