On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations | IEEE Conference Publication | IEEE Xplore