Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
https://rdcu.be/dwZd2 (Publisher version)
Weidenbach, C. (1993). A New Sorted Logic. In H. J. Ohlbach (Ed.), GWAI-92: Advances in Artificial Inteligence (pp. 43-54). Berlin: Springer.