@InProceedings{WGR96,
    Author       = "Weidenbach, C. and Gaede, B. and Rock, G.",
    Year         = "1996",
    Title        = "{SPASS and FLOTTER}",
    Editor       = "McRobbie, M. and Slaney, J.K.",
    BookTitle    = "{Proceedings of the 13th International Conference on
                    Automated Deduction}",
    Place        = "New Brunswick, USA",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "1104",
    Pages        = "141-145",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}