Characterization of distributivity in a solid - Bruno Dinis; Imme van den Berg (2015)