Oege de Moor David Lacey Eric Van Wyk Universal Regular Path Queries. 15-35 2003 16 Higher-Order and Symbolic Computation 1-2 http://dx.doi.org/10.1023/A:1023063919574 db/journals/lisp/lisp16.html#MoorLW03