Evaluating Datalog via Tree Automata and Cycluits

Antoine Amarilli, Pierre Bourhis, Mikaƫl Monet, Pierre Senellart. Evaluating Datalog via Tree Automata and Cycluits. Theory Comput. Syst., 63(7):1620-1678, 2019. [doi]

Abstract

Abstract is missing.