1. Bentert, M., Benzmüller, C., Streit, D., Woltzenlogel Paleo, B.: Analysis of an ontological proof proposed by Leibniz. In: Tandy, C. (ed.) Death and Anti-Death. Four Decades after Michael Polanyi, Three Centuries after G.W. Leibniz, vol. 14. Ria University Press (2016)
2. IFIP Advances in Information and Communication Technology;C Benzmüller,2009
3. Benzmüller, C.: Combining and automating classical and non-classical logics in classical higher-order logic. Ann. Math. Artif. Intell. (Special Issue Computational logics in Multi-agent Systems (CLIMA XI)) 62(1–2), 103–128 (2011)
4. Benzmüller, C.: Automating quantified conditional logics in HOL. In: Rossi, F. (ed.) IJCAI 2013, pp. 746–753. AAAI Press (2013)
5. Benzmüller, C.: Cut-elimination for quantified conditional logic. J. Philos. Logic 46(3), 333–353 (2017)