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

by Erich Grädel, Phokion G Kolaitis, Moshe Y Vardi
Venue:Bull. Symbolic Logic