GASP: Answer Set Programming With Lazy Grounding

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2009-180