L. Amarú, P. Gaillardon, and G. 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.

H. Bandelt and G. C. Meletiou, The algebra of majority consensus, Algebra Universalis, vol.19, issue.4, pp.546-555, 1992.
DOI : 10.1007/BF01190780

G. Birkhoff, Lattice theory, 1948.
DOI : 10.1090/coll/025

S. Burris and H. P. Sankappanavar, A Course in universal algebra, Graduate Texts in Mathematics, vol.78, 1981.
DOI : 10.1007/978-1-4613-8130-3
URL : http://www.math.uwaterloo.ca/~snburris/htdocs/UALG/univ-algebra2012.pdf

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, E. Lehtonen, J. Marichal, and T. Waldhauser, An algorithm for producing median normal form representations for Boolean functions, Proceedings of the Reed?Muller Workshop 2011, pp.49-54, 2011.

M. Couceiro and J. Marichal, Characterizations of discrete sugeno integrals as polynomial functions over distributive lattices. Fuzzy Sets and Systems, pp.694-707, 2010.

M. Couceiro and J. Marichal, Aczélian n-ary semigroups, Semigroup Forum, pp.81-90, 2012.
DOI : 10.1007/s00233-011-9354-2
URL : http://arxiv.org/abs/1107.4989

Y. Crama and P. L. Hammer, Boolean functions: Theory, algorithms, and applications, 2011.
DOI : 10.1017/CBO9780511852008

M. Grabisch, J. Marichal, R. Mesiar, and E. Pap, Aggregation functions, 2009.
DOI : 10.1017/CBO9781139644150
URL : https://hal.archives-ouvertes.fr/halshs-00445120

A. Imre, G. Csaba, L. Ji, A. Orlov, G. H. Bernstein et al., Majority Logic Gate for Magnetic Quantum-Dot Cellular Automata, Science, vol.311, issue.5758, pp.311205-208, 2006.
DOI : 10.1126/science.1120506
URL : http://mediatum.ub.tum.de/doc/1273379/document.pdf

D. E. Knuth and P. B. Bendix, Simple Word Problems in Universal Algebras, Automation of Reasoning, pp.342-376, 1983.
DOI : 10.1007/978-3-642-81955-1_23

D. E. Knuth, The art of computer programming: Fundamental algorithms, 1997.

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

H. S. Miller and R. O. Winder, Majority-Logic Synthesis by Geometric Methods, IEEE Transactions on Electronic Computers, vol.11, issue.1, pp.89-90, 1962.
DOI : 10.1109/TEC.1962.5219329

E. L. Post, Polyadic groups, Transactions of the, pp.208-350, 1940.

J. E. Savage, Models of computation: Exploring the power of computing, 1997.

R. Veroff and W. Mccune, First-order proof of a median algebra problem, 2006.