Datalog Automata

Bernard Lang. Datalog Automata. In JCDKB. pages 389-404, 1988.