Computing label-constraint reachability in graph databases
Introduction to Algorithms