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

by H G Barrow, R M Burstall