Equivalence in Finite-Variable Logics is Complete for Polynomial Time.

Martin Grohe

Browse the full FOCS paper archive.