TY  - RPRT
TI  - Lazy Model Expansion: Interleaving Grounding with Search
AU  - Broes De Cat
AU  - Marc Denecker
AU  - Peter Stuckey
AU  - Maurice Bruynooghe
PY  - 2015
UR  - https://arxiv.org/abs/1402.6889
ID  - 1402.6889
ER  -