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

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