Gerard Ellis Fritz Lehmann Exploiting the Induced Order on Type-Labeled Graphs for Fast Knowledge Retrieval. 293-310 1994 conf/iccs/1994 ICCS db/conf/iccs/iccs94.html#EllisL94 http://dx.doi.org/10.1007/3-540-58328-9_19