Solving subgraph isomorphism problems with constraint programming
scientific article; zbMATH DE number 5817461