Complete congruence representations with 2-distributive modular lattices - Grätzer George A. (2001)