Two-Variable First-Order Logic with Equivalence Closure

Emanuel Kieronski, Jakub Michaliszyn, Ian Pratt-Hartmann, Lidia Tendera. Two-Variable First-Order Logic with Equivalence Closure. SIAM Journal on Computing, 43(3):1012-1063, 2014. [doi]

Abstract

Abstract is missing.