Two-Variable First-Order Logic with Equivalence Closure.

Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera

Browse the full LICS paper archive.