Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic.

Sandra Kiefer, Pascal Schweitzer

Browse the full LICS paper archive.