@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}
}