J. Aczél, G. J. Erickson, and Y. Zhai, The Associativity Equation Re-Revisited, AIP Conference Proceedings, pp.195-203, 2004.
DOI : 10.1063/1.1751367

L. Amarú, P. Gaillardon, and G. D. Micheli, Majority-Inverter Graph, Proceedings of the The 51st Annual Design Automation Conference on Design Automation Conference, DAC '14, pp.1-6, 2014.
DOI : 10.1145/2593069.2593158

F. Baader and T. Nipkow, Term rewriting and all that, 1999.

M. Couceiro, S. Foldes, and E. Lehtonen, Composition of Post classes and normal forms of Boolean functions, Discrete Mathematics, vol.306, issue.24, pp.3223-3243, 2006.
DOI : 10.1016/j.disc.2006.06.014

M. Couceiro and E. Lehtonen, Galois theory for sets of operations closed under permutation, cylindrification, and composition, Algebra universalis, vol.254, issue.3, p.25, 2012.
DOI : 10.1016/S0012-365X(01)00297-7
URL : https://hal.archives-ouvertes.fr/hal-01090609

M. Couceiro and E. Lehtonen, A Survey on the Arity Gap, 2011 41st IEEE International Symposium on Multiple-Valued Logic, pp.277-281, 2011.
DOI : 10.1109/ISMVL.2011.20
URL : https://hal.archives-ouvertes.fr/hal-01093666

M. Couceiro, E. Lehtonen, J. Marichal, and T. Waldhauser, An algorithm for producing median formulas for Boolean functions, Proc. of the Reed Muller 2011 Workshop, pp.49-54, 2011.

M. Couceiro, E. Lehtonen, and T. Waldhauser, Decompositions of functions based on arity gap, Discrete Mathematics, vol.312, issue.2, pp.238-247, 2012.
DOI : 10.1016/j.disc.2011.08.028
URL : https://hal.archives-ouvertes.fr/hal-01090606

M. Couceiro, P. Mercuriali, R. Pchoux, and A. Saffidine, Median based calculus for lattice polynomials and monotone Boolean functions, Proc. of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01504010

Y. Crama and P. L. Hammer, Boolean Models and Methods in Mathematics, Computer Science, and Engineering, vol.2, 2010.

Y. Crama and P. L. Hammer, Boolean Functions: Theory, Algorithms, and Applications, 2011.
DOI : 10.1017/CBO9780511852008

K. Denecke and S. L. Wismath, Universal Algebra and Coalgebra, World Scientific, 2009.

W. Dörnte, Untersuchungen ???ber einen verallgemeinerten Gruppenbegriff, Mathematische Zeitschrift, vol.29, issue.1, pp.1-19, 1929.
DOI : 10.1007/BF01180515

D. Lau, Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory, 2006.

H. Mannila and H. Toivonen, Multiple uses of frequent sets and condensed representations: Extended abstract, Proc. of the 2nd International Conference on Knowledge Discovery and Data Mining (KDD'96), pp.189-194, 1996.

J. Marichal, Weighted lattice polynomials, Discrete Mathematics, vol.309, issue.4, pp.814-820, 2009.
DOI : 10.1016/j.disc.2008.01.019
URL : http://doi.org/10.1016/j.disc.2008.01.019

E. L. Post, Polyadic groups. Transactions of the, pp.208-350, 1940.
DOI : 10.2307/1990085

E. L. Post, The Two-Valued Iterative Systems of Mathematical Logic, pp.1-122, 1941.
DOI : 10.1515/9781400882366

A. Salomaa, On essential variables of functions, especially in the algebra of logic, Annales Academiae Scientiarum Fennicae, Series A I, vol.339, issue.11, 1963.

J. Vreeken and N. Tatti, Interesting Patterns, pp.105-134
DOI : 10.1007/978-3-319-07821-2_5

I. Wegener, Complexity Theory: Exploring the Limits of Efficient Algorithms, 2005.

R. Willard, Essential arities of term operations in finite algebras, Discrete Mathematics, vol.149, issue.1-3, pp.239-259, 1996.
DOI : 10.1016/0012-365X(94)00323-B