@article{DBLP:journals/corr/abs-1810-00453, title = {anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)}, author = {Lifschitz, Vladimir and L{\"{u}}hne, Patrick and Schaub, Torsten}, journal = {CoRR}, volume = {abs/1810.00453}, year = {2018} }