1. Benzmüller, C., Otten, J., Raths, T.: Implementing and evaluating provers for first-order modal logics. In: Proc. of ECAI 2012, Montpellier, France (2012)
2. Benzmüller, C., Paulson, L.: Exploring Properties of Normal Multimodal Logics in Simple Type Theory with LEO-II. In: Reasoning in Simple Type Theory: Festschrift in Honour of Peter B. Andrews. Studies in Logic, Mathematical Logic and Foundations, vol. 17, pp. 401–422. College Publications (2008)
3. Benzmüller, C., Paulson, L.C.: Quantified multimodal logics in simple type theory. Logica Universalis (Special Issue on Multimodal Logics) 7(1), 7–20 (2013)
4. Lecture Notes in Artificial Intelligence;C. Benzmüller,2008
5. Lecture Notes in Computer Science;J.C. Blanchette,2010