Nils Klarlund Relativizations for the Logic-Automata Connection. 79-120 2005 18 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1007/s10990-005-7007-4 db/journals/lisp/lisp18.html#Klarlund05