Subgraph isomorphism, matching relational structures and maximal cliques (1976)

by H G Barrow, R M Burstall
Venue:Information Processing Letters