Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Baumgartner, P., & Waldmann, U. (2013). Hierarchic Superposition with Weak Abstraction. In M. P. Bonacina (Ed.), Automated Deduction - CADE-24 (pp. 39-57). Berlin: Springer. doi:10.1007/978-3-642-38574-2_3.