On the decision problem for two-variable first-order logic

Grädel, Erich; Kolaitis, Phokion G.; Vardi, Moshe Y.

Champaign, Ill : Association for Symbolic Logic (1997)
Fachzeitschriftenartikel

In: Bulletin of symbolic logic
Band: 3
Heft: 1
Seite(n)/Artikel-Nr.: 53-69