On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations.

Emanuel Kieronski, Lidia Tendera

Browse the full LICS paper archive.