André Große Jörg Rothe Gerd Wechsung Computing Complete Graph Isomorphisms and Hamiltonian Cycles from Partial Ones. 81-93 2002 35 Theory Comput. Syst. 1 http://link.springer.de/link/service/journals/00224/contents/01/1048/ db/journals/mst/mst35.html#GrosseRW02