BINDERUP, P.; FRANDSEN, G.; MILTERSEN, P.; SKYUM, S. The Complexity of Identifying Large Equivalence Classes. BRICS Report Series, v. 5, n. 34, 4 Jun. 1998.