Complexity Results for First-Order Two-Variable Logic with Counting (2000)

by L Pacholski, W Szwast, L Tendera
Venue:SIAM Journal on Computing