Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras Jiří Demel (1982) Kybernetika