Leszek Pacholski Wieslaw Szwast Lidia Tendera Complexity Results for First-Order Two-Variable Logic with Counting. 1083-1117 2000 29 SIAM J. Comput. 4 db/journals/siamcomp/siamcomp29.html#PacholskiST00