@article{DBLP:journals/tplp/GebserHKLS15, title = {Abstract gringo}, author = {Gebser, Martin and Harrison, Amelia and Kaminski, Roland and Lifschitz, Vladimir and Schaub, Torsten}, journal = {{TPLP}}, number = {4-5}, pages = {449--463}, volume = {15}, year = {2015} }