Universal Regular Path Queries.

Oege de Moor, David Lacey, and Eric Van Wyk,

Higher Order and Symbolic Computation, 16 (1-2): 15-35, Kluwer, March-June, 2003. Special issue dedicated to Robert Paige.

PDF