Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Automation of Logic, MPI for Informatics, Max Planck Society;
Jacobs, S., & Waldmann, U. (2005). Comparing Instance Generation Methods for Automated Reasoning. In B., Beckert (Ed.), Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005 (pp. 153-168). Berlin, Germany: Springer.