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. (2007). Comparing Instance Generation Methods for Automated Reasoning. Journal of Automated Reasoning, 38(1/3), 57-78. doi:10.1007/s10817-006-9046-x.