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

by E Grädel, P G Kolaitis, M Y Vardi
Venue:Bulletin of Symbolic Logic