Congruence representations of join-homomorphisms of distributive lattices: a short proof George Grätzer; Harry Lakser; E. Tamás Schmidt — 1996 Mathematica Slovaca