Christoph Benzm

Implementing Different Proof Calculi for

Jens Otten, Thomas Raths, Christoph Benzm, 2012 .

Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)

John Harrison, Christoph Benzm, J. Harrison, 2005 .

Deduktionsagenten h¨ oherer Ordnung fur mathematische Assistenzsysteme

Christoph Benzm, Christoph Benzm, 2003 .

System Description: A Dialogue Manager Supporting Natural Language Tutorial Dialogue on Proofs

Mark Buckley, Christoph Benzm, 2005 .

-Ants { An open approach at combining Interactive and Automated Theorem Proving

Volker Sorge, Christoph Benzm, V. Sorge, 2002 .

Automating Quantified Conditional Logics in HOL

Christoph Benzm, Quantified Conditional Logics, 2013 .