![](/img/cover-not-exists.png)
On the Decision Problem for Two-Variable First-Order Logic
Erich Grädel, Phokion G. Kolaitis and Moshe Y. VardiVolume:
3
Language:
english
Journal:
The Bulletin of Symbolic Logic
DOI:
10.2307/421196
Date:
March, 1997
File:
PDF, 551 KB
english, 1997