@InProceedings{WW+90,
    Author       = "Wos, L. and Winker, S. and McCune, W.W. and Overbeek, R.
                    and Lusk E.L. and Stevens, R.",
    Year         = "1990",
    Title        = "{Automated Reasoning Contributes to Mathemetics and
                    Logic}",
    Editor       = "Stickel, M.E.",
    BookTitle    = "{Proceedings of the 10th International Conference on
                    Automated Deduction}",
    Place        = "Kaiserslautern, Germany",
    Series       = "Lecture Notes in Artificial Intelligence",
    Number       = "449",
    Pages        = "485-499",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRef"
}