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

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