A (sub)graph isomorphism algorithm for matching large graphs | IEEE Journals & Magazine | IEEE Xplore