Complexity of Two-Variable Logic with Counting.

Leszek Pacholski Wieslaw Szwast Lidia Tendera Complexity of Two-Variable Logic with Counting. 318-327 http://www.computer.org/proceedings/lics/7925/79250318abs.htm 1997 LICS db/conf/lics/lics97.html#PacholskiST97