Problems of Associativity: A Simple Proof for the Lattice Property of Systems Ordered by a Semi-associative Law. - Samuel Huang; Dov Tamari (J. Comb. Theory A, 1972)