TY  - JOUR
A1  - Gebser, Martin
A1  - Schaub, Torsten H.
A1  - Thiele, Sven
T1  - GrinGo : a new grounder for answer set programming
Y1  - 2007
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/12482
SN  - 978-3-540- 72199-4
ER  -