Reuter, K. & Wille, R. ( 1987 ), ' Complete congruence relations of concept
lattices ', Acta Sci. Math. 51 , 319-327 .