@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}
}