Describing Graphs: a First-Order Approach to Graph Canonization (1990)

by Neil Immerman , Eric Lander
Citations:66 - 7 self