@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"
}