Undecidability results on two-variable logics. (1997)

by Erich Grädel, Martin Otto, Eric Rosen
Venue:In STACS,