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

• Authors:

• P. G. Kolaitis;M. Otto

• Affiliations:

• -;-

• Venue:
• LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
• Year:
• 1998