@InProceedings{HBF96,
    Author       = "Hillenbrand, T. and Buch, A. and Fettig, R.",
    Year         = "1996",
    Title        = "{On Gaining Efficiency in Completion-based Theorem
                    Proving}",
    Editor       = "Ganzinger, H.",
    BookTitle    = "{Proceedings of the 7th International Conference on
                    Rewriting Techniques and Applications}",
    Place        = "New Brunswick, USA",
    Series       = "Lecture Notes in Computer Science",
    Number       = "1103",
    Pages        = "432-435",
    Publisher    = "Springer-Verlag",
    Comment      = "TPTPRefForResults"
}