@article{amarilli:hal-01891811, TITLE = {{Evaluating Datalog via Tree Automata and Cycluits}}, AUTHOR = {Amarilli, Antoine and Bourhis, Pierre and Monet, Mikaël and Senellart, Pierre}, URL = {https://inria.hal.science/hal-01891811}, JOURNAL = {{Theory of Computing Systems}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {63}, NUMBER = {7}, PAGES = {1620-1678}, YEAR = {2019}, DOI = {10.1007/s00224-018-9901-2}, HAL_ID = {hal-01891811}, HAL_VERSION = {v1}, }