On the decision problem for two-variable first-order logic (1997)

by E Grädel, P Kolaitis, M Vardi
Venue:Bull. Symbolic Logic