Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (1996). Unification in Sort Theories and its Applications. Annals of Mathematics and Artificial Intelligence, 18(2/4), 261-293.