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

by H Barrow, R Burstall
Venue:Inf. Process. Lett