Jianghai Fu Pattern Matching in Directed Graphs. 64-77 1995 CPM db/conf/cpm/cpm95.html#Fu95