On the input language of ASP grounder gringo. (2009)

by M Gebser, R Kaminski, M Ostrowski, T Schaub, S Thiele
Venue:In LPNMR.