Associative and commutative tree representations for Boolean functions - Antoine Genitrini; Bernhard Gittenberger; Veronika Kraus; Cécile Mailler (2013)