Gismondi S.J. Linking Subgraph Isomorphism and the Hamilton Tour Decision Problem Using a Linearized Form of PGPT. A Canadian journal of applied mathematics, computer science and statistics 2008, 76.