<hi xmlns="http://www.tei-c.org/ns/1.0" rend="bold">Pelzer, Björn / Wernhard, Christoph</hi> (2007): "System description: E-KRHyper", in: <hi xmlns="http://www.tei-c.org/ns/1.0" rend="italic">Automated Deduction </hi> (CADE-21), volume 4603 of LNCS (LNAI). Berlin / Heidelberg / New York: Springer 503-513.