1. Subdirect unions in universal algebra;Birkhoff;Bull. Amer. Math. Soc.,1944
2. Lattice theory;Birkhoff,1967
3. A course in universal algebra;Burris,1981
4. Fast algorithms for finding subdirect decomposition and interesting congruences on finite algebras;Demel;Kybernetika,1982
5. Fast algorithm constructing minimal subalgebras, congruences, and ideals in a finite algebra;Demel;Theoret. Comput. Sci.,1985