-
Christoph Benzmueller, Cut-Elimination for Quantified Conditional LogicJournal of Philosophical Logic 46 (3): 333-353. 2017.
-
Alexander Steen and Christoph Benzmueller, Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order LogicLogic and Logical Philosophy 25 (4): 535-554. 2016.
-
Christoph Benzmueller, Nik Sultana, Lawrence C. Paulson, and Frank Theiß, The Higher-Order Prover LEO-IIJournal of Automated Reasoning 55 (4): 389-404. 2015.
-
Christoph Benzmueller and Lawrence C. Paulson, Quantified Multimodal Logics in Simple Type TheoryLogica Universalis 7 (1): 7-20. 2013.
-
Adam Pease and Christoph Benzmueller, Sigma: An Integrated Development Environment for Formal OntologyAI Communications 26 (1): 79-97. 2013.
-
Christoph Benzmueller, Dov Gabbay, Valerio Genovese, and Daniele Rispoli, Embedding and Automating Conditional Logics in Classical Higher-Order LogicAnnals of Mathematics and Artificial Intelligence 66 (1-4): 257-271. 2012.
-
Christoph Benzmueller and Adam Pease, Higher-order Aspects and Context in SUMOJournal of Web Semantics 12 104-117. 2012.
-
Christoph Benzmueller, Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order LogicAnnals of Mathematics and Artificial Intelligence) 62 (1-2): 103-128. 2011.
-
Christoph Benzmueller and Lawrence Paulson, Multimodal and intuitionistic logics in simple type theoryLogic Journal of the IGPL 18 (6): 881-892. 2010.
-
Christoph Benzmueller, Chad E. Brown, Jörg Siekmann, and Richard Statman, Reasoning in simple type theory — Festschrift in honor of Peter B. Andrews on his 70th birthday, Studies in Logic, vol. 17 (review)Bulletin of Symbolic Logic 16 (3): 409-411. 2010.
-
Christoph Benzmueller, Verifying the Modal Logic Cube is an Easy TaskIn Simon Siegler & Nathan Wasser (eds.), Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday, Springer. pp. 117-128. 2010.
-
Serge Autexier and Christoph Benzmueller, Preface: Proceedings of the 8th Workshop on User Interfaces for Theorem ProversElectronic Notes in Theoretical Computer Science 226 (1): 1-2. 2009.
-
Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmueller, and Serge Autexier, Jacques Herbrand: life, logic, and automated deductionIn Dov Gabbay (ed.), The Handbook of the History of Logic, Elsevier. pp. 195-254. 2009.
-
Claus-Peter Wirth, Jörg Siekmann, Christoph Benzmueller, and Serge Autexier, Lectures on Jacques Herbrand as a LogicianSeki Publications (Issn 1437-4447). 2009.
-
Serge Autexier, Christoph Benzmueller, Dominik Dietrich, and Marc Wagner, Organisation, Transformation, and Propagation of Mathematical Knowledge in OmegaMathematics in Computer Science 2 (2): 253-277. 2008.
-
Christoph Benzmueller, Volker Sorge, Mateja Jamnik, and Manfred Kerber, Combined reasoning by automated cooperationJournal of Applied Logic 6 (3): 318-342. 2008.
-
Marvin Schiller, Dominik Dietrich, and Christoph Benzmueller, Proof Step Analysis for Proof Tutoring -- A Learning Approach to GranularityTeaching Mathematics and Computer Science 6 (2): 325-343. 2008.
-
Christoph Benzmueller, Helmut Horacek, Ivana Kruijff-Korbayova, Manfred Pinkal, Jörg Siekmann, and Magdalena Wolska, Natural Language Dialog with a Tutor System for Mathematical ProofsIn Ruqian Lu, Jörg Siekmann & Carsten Ullrich (eds.), Cognitive Systems: Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers, Springer. pp. 1-14. 2007.
-
Christoph Benzmueller and Chad Brown, The curious inference of Boolos in MIZAR and OMEGAIn Matuszewski Roman & Zalewska Anna (eds.), From Insight to Proof -- Festschrift in Honour of Andrzej Trybulec, The University of Bialystok, Polen. pp. 299-388. 2007.
-
Christoph Benzmueller, Editorial: Towards Computer Aided MathematicsJournal of Applied Logic 4 (4): 359-365. 2006.
-
Christoph Benzmueller, Armin Fiedler, Andreas Meier, Martin Pollet, and Jörg Siekmann, OmegaIn Freek Wiedijk (ed.), The Seventeen Provers of the World, Springer. pp. 127-141. 2006.
-
Christoph Benzmueller, Towards computer aided mathematicsJournal of Applied Logic 4 (4): 359-365. 2006.
-
Jörg Siekmann, Christoph Benzmueller, and Serge Autexier, Computer supported mathematics with ΩmegaJournal of Applied Logic 4 (4): 533-559. 2006.
-
Christoph Benzmueller, Chad E. Brown, and Michael Kohlhase, Higher-order semantics and extensionalityJournal of Symbolic Logic 69 (4): 1027-1088. 2004.
-
Serge Autexier, Christoph Benzmueller, Armin Fiedler, Helmut Horacek, and Bao Quoc Vo, Assertion-level Proof Representation with Under-SpecificationElectronic Notes in Theoretical Computer Science 93 5-23. 2004.
-
Christoph Benzmueller, Andreas Meier, and Volker Sorge, Bridging Theorem Proving and Mathematical Knowledge RetrievalIn Dieter Hutter (ed.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, Springer. pp. 277-296. 2004.
-
Christoph Benzmueller, Chad E. Brown, and Michael Kohlhase, Higher-Order Semantics and ExtensionalityJournal of Symbolic Logic 69 (4). 2004.
-
Christoph Benzmueller and Corinna Hahn, The Calculemus Final ReportSaarland University, Germany. 2004.
-
Malte Hübner, Serge Autexier, Christoph Benzmueller, and Andreas Meier, Interactive Theorem Proving with TasksElectronic Notes in Theoretical Computer Science 103 (C): 161-181. 2004.