L.: Complexity results for first-order two-variable logic with counting (2000)

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