Hebbinghaus, Nils Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Bundy, D., Hebbinghaus, N., & Stellmacher, B. (2006). The Local C(G,T) Theorem. Journal of Algebra, 300, 741-789.