Computing congruence lattices of finite lattices

From MaRDI portal
Publication:4372441