Sandra Kiefer, Pascal Schweitzer. Upper Bounds on the Quantifier Depth for Graph Differentiation in First Order Logic. In Martin Grohe, Eric Koskinen, Natarajan Shankar, editors, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. pages 287-296, ACM, 2016. [doi]
Abstract is missing.