Implementation of local grounding for logic programs with stable model semantics (1998)
[BibTex]