TY  - RPRT
TI  - Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure
AU  - Joost Engelfriet
AU  - Hendrik Jan Hoogeboom
PY  - 2007
DO  - 10.2168/lmcs-3(2:3)2007
UR  - https://arxiv.org/abs/cs/0703079
ID  - cs/0703079
ER  -