S.: Gringo: A new grounder for answer set programming (2007)

by M Gebser, T Schaub, Thiele
Venue:In: Proceedings of the Ninth International Conference on Logic Programming and Nonmonotonic Reasoning