On the Boundedness Problem for Two-Variable First-Order Logic

Phokion G. Kolaitis, Martin Otto. On the Boundedness Problem for Two-Variable First-Order Logic. In LICS. pages 513-524, 1998.

Abstract

Abstract is missing.