Equivalence in finite-variable logics is complete for polynomial time (1996)

by M Grohe
Venue:Proceedings of the 37th Annual Symposium on Foundations of Computer Science, FOCS