@misc{indiciae0f185dcd679f,
  title = {anthem: Transforming gringo Programs into First-Order Theories (Preliminary Report)},
  author = {Vladimir Lifschitz and Patrick Lühne and Torsten Schaub},
  year = {2018},
  url = {https://arxiv.org/abs/1810.00453},
  note = {Source identifier: 1810.00453}
}