Universal regular path queries (2003)

by O de Moor D Lacey, E van Wyk
Venue:In Higherorder and symbolic computation