Unification in Free Distributive Lattices. - J. A. Gerhard; Mario Petrich (Theor. Comput. Sci., 1994)