Undecidability Results on Two-Variable Logics (1999)

by E Grädel, M Otto, E Rosen
Venue:Archive for Mathematical Logic