Lazy Model Expansion by Incremental Grounding.

Broes De Cat, Marc Denecker, Peter J. Stuckey

Browse the full ICLP paper archive.