Samuel Huang Dov Tamari Problems of Associativity: A Simple Proof for the Lattice Property of Systems Ordered by a Semi-associative Law. 7-13 1972 13 J. Comb. Theory, Ser. A 1 db/journals/jct/jcta13.html#HuangT72