-
Christoph Benzmueller and Corinna Hahn, The Calculemus Midterm Report (edited book)Saarland University, Germany. 2003.
-
Mateja Jamnik, Manfred Kerber, Martin Pollet, and Christoph Benzmueller, Automatic Learning of Proof Methods in Proof PlanningLogic Journal of the IGPL 11 (6): 647-673. 2003.
-
Christoph Benzmueller, Comparing Approaches To Resolution Based Higher-Order Theorem ProvingSynthese 133 (1-2): 203-335. 2002.
-
Christoph Benzmueller, Mateja Jamnik, Manfred Kerber, and Volker Sorge, Agent based Mathematical ReasoningElectronic Notes in Theoretical Computer Science, Elsevier 23 (3): 21-33. 1999.
-
Christoph Benzmueller, Matt Bishop, and Volker Sorge, Integrating TPS and OMEGAJournal of Universal Computer Science 5 (3): 188-207. 1999.