Martin Otto
1 reference under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Undecidability results on two-variable logics
Erich Grädel and others (1999) · Archive for Mathematical Logic · Springer Science+Business Media