Kybernetika 18 no. 2, 121-130, 1982

Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras