Complexity of Two-Variable Logic with Counting.

Leszek Pacholski, Wieslaw Szwast, Lidia Tendera

Browse the full LICS paper archive.