Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth.

Andreas Krebs, Oleg Verbitsky

Browse the full LICS paper archive.