Universal regular path queries (2003)

by Oege De Moor, David Lacey, Eric Van Wyk
Venue:Higher-Order and Symbolic Computation