GrinGo : A New Grounder for Answer Set Programming.

Martin Gebser, Torsten Schaub, Sven Thiele

Browse the full LPNMR paper archive.