Reuter, Klaus and Wille, Rudolf. " Complete congruence relations of concept
lattices ." Acta Sci. Math. 51 ( 1987 ): 319-327 .