Gringo: A new grounder for answer set programming (0)

by M Gebser, T Schaub, S Thiele
Venue:Logic Programming and Nonmonotonic Reasoning