Computational complexity of digraph decomposition and the congruence extension property for algebras. - Joy Becker (2002)