@InProceedings{PW07, Author = "Pelzer, B. and Wernhard, C.", Year = "2007", Title = "{System Description: E-KRHyper}", Editor = "Pfenning, F.", BookTitle = "{Proceedings of the 21st International Conference on Automated Deduction}", Place = "Bremen, Germany", Series = "Lecture Notes in Artificial Intelligence", Number = "4603", Pages = "508-513", Publisher = "Springer-Verlag", Comment = "TPTPRef" }