Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Baumgartner, P., & Waldmann, U. (2009). Superposition and Model Evolution Combined. In R. A. Schmidt (Ed.), Automated Deduction, CADE-22, 22nd International Conference on Automated Deduction (pp. 17-34). Berlin, Germany: Springer.