Phokion G. Kolaitis, Martin Otto
On the Boundedness Problem for Two-Variable First-Order Logic
LICS, 1998.
@inproceedings{LICS-1998-KolaitisO,
author = "Phokion G. Kolaitis and Martin Otto",
booktitle = "{Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1998.705684",
isbn = "0-8186-8506-9",
pages = "513--524",
publisher = "{IEEE Computer Society}",
title = "{On the Boundedness Problem for Two-Variable First-Order Logic}",
year = 1998,
}