@article{GGKM15, author = {A. Genitrini and B. Gittenberger and V. Kraus and C. Mailler}, title = {{Associative and commutative tree representations for Boolean functions}}, journal = {{Theoretical Computer Science}}, volume = {570}, pages = {70--101}, year = {2015}, url = {http://dx.doi.org/10.1016/j.tcs.2014.12.025}, doi = {10.1016/j.tcs.2014.12.025} }