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) [Journal Article]

Bulletin of symbolic logic
Volume: 3
Issue: 1
Page(s): 53-69

Identifier