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

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