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

Phokion G. Kolaitis, Martin Otto

Browse the full LICS paper archive.