Complexity results for first-order two-variable logic with counting (0)

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