Regular path queries with constraints (1999)

by Serge Abiteboul, Victor Vianu
Venue:Journal of Computer and System Sciences