Yanghua Xiao Wentao Wu Wei Wang 0009 Zhenying He Efficient Algorithms for Node Disjoint Subgraph Homeomorphism Determination http://arxiv.org/abs/0709.1227 2007 CoRR abs/0709.1227 db/journals/corr/corr0709.html#abs-0709-1227 informal publication