"A Model Guided Instantiation Heuristic for the Superposition Calculus with ..."

Joshua Bax (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics