@InProceedings{PW06,
    Author       = "Prevosto, V. and Waldmann, U.",
    Year         = "2006",
    Title        = "{SPASS+T}",
    Editor       = "Sutcliffe, G. and Schmidt, R. and Schulz, S.",
    BookTitle    = "{Proceedings of the FLoC'06 Workshop on Empirically
                    Successful Computerized Reasoning, 3rd International
                    Joint Conference on Automated Reasoning}",
    Place        = "Seattle, USA",
    Series       = "CEUR Workshop Proceedings",
    Number       = "192",
    Pages        = "19-33",
    Comment      = "TPTPRef"
}