Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, U. (1997). Cancellative Abelian Monoids in Refutational Theorem Proving. PhD Thesis, Universität des Saarlandes, Saarbrücken.