On the Decision Problem for Two-Variable First-Order Logic (1997)

by Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi