Two Variable First-Order Logic over Ordered Domains

Martin Otto. Two Variable First-Order Logic over Ordered Domains. Journal of Symbolic Logic, 66(2):685-702, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: