Universal regular path queries (2003)

by O de Moor, D Lacey, E V Wyk
Venue:Higher-Order and Symbolic Computation 16