@misc{indiciae8a8ae7f63e5c,
  title = {Lazy Model Expansion: Interleaving Grounding with Search},
  author = {Broes De Cat and Marc Denecker and Peter Stuckey and Maurice Bruynooghe},
  year = {2015},
  url = {https://arxiv.org/abs/1402.6889},
  note = {Source identifier: 1402.6889}
}