Erich Grädel Martin Otto Eric Rosen Undecidability results on two-variable logics. 313-354 1999 38 Arch. Math. Log. 4-5 http://dx.doi.org/10.1007/s001530050130 db/journals/aml/aml38.html#GradelOR99