Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (1995). First-Order Tableaux with Sorts. Journal of the Interest Group in Pure and Applied Logics, 3(6), 887-906.