Invited talk: On a (quite) universal theorem proving approach and its application in metaphysics. (English) Zbl 1471.68302
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 213-220 (2015).