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. Logic Journal of the IGPL, 3(6), 887-906. doi:10.1093/jigpal/3.6.887.