Andreas Neumann Helmut Seidl Locating Matches of Tree Patterns in Forests. 134-145 1998 conf/fsttcs/1998 FSTTCS db/conf/fsttcs/fsttcs98.html#NeumannS98 http://dx.doi.org/10.1007/b71635