R. E. Barlow and F. Proschan, Importance of system components and fault tree events, Stochastic Process, Appl, vol.3, pp.153-172, 1975.

H. J. Bandelt and J. Hedlíková, Median algebras. Discrete mathematics, pp.1-30, 1983.

M. Couceiro, S. Foldes, and E. Lehtonen, Composition of Post classes and normal forms of Boolean functions, Discrete Math, pp.3223-3243, 2006.

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

M. Couceiro and J. Marichal, Polynomial functions over bounded distributive lattices, J. Multiple-Valued Logic Soft Comput, pp.247-256, 2012.

M. Couceiro and B. Teheux, Clones of Pivotally Decomposable Functions, 2015 IEEE International Symposium on Multiple-Valued Logic, pp.195-198, 2015.
DOI : 10.1109/ISMVL.2015.9
URL : https://hal.archives-ouvertes.fr/hal-01175698

M. Couceiro and M. Pouzet, On a quasi-ordering on Boolean functions, Theoretical Computer Science, vol.396, issue.1-3, pp.71-87, 2008.
DOI : 10.1016/j.tcs.2008.01.025

K. Denecke and S. L. Wismath, Universal Algebra and Applications in Theoretical Computer Science, 2002.

L. Hellerstein, On generalized constraints and certificates, Discrete Math, pp.211-232, 2001.
DOI : 10.1016/s0012-365x(00)00166-7
URL : http://doi.org/10.1016/s0012-365x(00)00166-7

D. Lau, Function Algebras on Finite Sets, 2006.

E. Lehtonen, Descending Chains and Antichains of the Unary, Linear, and Monotone Subfunction Relations, Order, vol.149, issue.2-3, pp.129-142, 2006.
DOI : 10.1007/s11083-006-9036-y

E. Lehtonen and ´. A. Szendrei, Equivalence of operations with respect to discriminator clones, Discrete Math, pp.673-685, 2009.

J. Marichal, Weighted lattice polynomials, Discrete Math, pp.814-820, 2009.

J. Marichal and B. Teheux, Pivotal decompositions of functions, Discrete Applied Mathematics, vol.174, pp.102-112, 2014.
DOI : 10.1016/j.dam.2014.04.013

F. Miyata, Realization of Arbitrary Logical Functions Using Majority Elements, IEEE Transactions on Electronic Computers, vol.12, issue.3, pp.183-191, 1963.
DOI : 10.1109/PGEC.1963.263529

N. Pippenger, Galois theory for minors of finite functions, Discrete Math, pp.405-419, 2002.

E. L. Post, The Two-Valued Iterative Systems of Mathematical Logic, Annals of Mathematical Studies, vol.5, 1941.
DOI : 10.1515/9781400882366

C. E. Shannon, A symbolic analysis of relay and switching circuits, Transactions of the American Institute of Electrical Engineers, vol.57, issue.12, pp.713-723, 1938.
DOI : 10.1109/T-AIEE.1938.5057767

Y. Tohma, Decompositions of Logical Functions Using Majority Decision Elements, IEEE Transactions on Electronic Computers, vol.13, issue.6, pp.698-705, 1964.
DOI : 10.1109/PGEC.1964.263903

N. Vandoeuvre-les, France E-mail address: miguel.couceiro@{loria,inria}