@misc{indiciaeccbacbcb0c90,
  title = {Evaluating Datalog via Tree Automata and Cycluits},
  author = {Antoine Amarilli and Pierre Bourhis and Mikaël Monet and Pierre Senellart},
  year = {2019},
  doi = {10.1007/s00224-018-9901-2},
  url = {https://arxiv.org/abs/1808.04663},
  note = {Source identifier: 1808.04663}
}