"Lazy Model Expansion by Incremental Grounding."

Broes De Cat, Marc Denecker, Peter J. Stuckey (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics