TY  - RPRT
TI  - Evaluating Datalog via Tree Automata and Cycluits
AU  - Antoine Amarilli
AU  - Pierre Bourhis
AU  - Mikaël Monet
AU  - Pierre Senellart
PY  - 2019
DO  - 10.1007/s00224-018-9901-2
UR  - https://arxiv.org/abs/1808.04663
ID  - 1808.04663
ER  -