Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (1996). Computational Aspects of a First-Order Logic with Sorts. PhD Thesis, Universität des Saarlandes, Saarbrücken.