Haichuan Shang, Ying Zhang, Xuemin Lin, Jeffrey Xu Yu
Taming verification hardness: an efficient algorithm for testing subgraph isomorphism
VLDB, 2008.
@article{VLDB-2008-ShangZLY, author = "Haichuan Shang and Ying Zhang and Xuemin Lin and Jeffrey Xu Yu", ee = "http://www.vldb.org/pvldb/1/1453899.pdf", journal = "{Proceedings of the VLDB Endowment}", number = 1, pages = "364--375", title = "{Taming verification hardness: an efficient algorithm for testing subgraph isomorphism}", volume = 1, year = 2008, }