Swen Jacobs, Uwe Waldmann. Comparing Instance Generation Methods for Automated Reasoning. In Bernhard Beckert, editor, Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Volume 3702 of Lecture Notes in Computer Science, pages 153-168, Springer, 2005. [doi]
Abstract is missing.