M. Couceiro, P. Mercuriali, and R. Péchoux, Comparing the efficiency of normal form systems to represent Boolean functions
URL : https://hal.archives-ouvertes.fr/hal-01551761

M. Couceiro, P. Mercuriali, R. Péchoux, and A. Saffidine, Median Based Calculus for Lattice Polynomials and Monotone Boolean Functions, Proceedings of the 47th IEEE International Symposium on Multiple-Valued Logic (ISMVL), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01504010

J. , The associativity equation re-revisited, Bayesian Inference and Maximum Entropy Methods in Science and Engineering, pp.195-203, 2004.

L. Amarú, P. Gaillardon, and G. De-micheli, Majority-inverter graph: A novel datastructure and algorithms for efficient logic optimization, Proceedings of the 51st Annual Design Automation Conference, pp.1-6, 2014.

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.29, issue.4, pp.546-555, 1992.

G. Birkhoff, Lattice theory, vol.25, 1948.

S. Burris and H. P. Sankappanavar, A Course in universal algebra, Graduate Texts in Mathematics, vol.78, 1981.

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.

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, pp.49-54, 2011.

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

M. Couceiro and J. Marichal, Aczélian n-ary semigroups, Semigroup Forum, vol.85, pp.81-90, 2012.

Y. Crama and P. L. Hammer, Boolean functions: Theory, algorithms, and applications, 2011.

J. W. , Klop Term rewriting systems. Handbook of Logic in Computer Science, vol.2, pp.1-116, 1992.

M. Grabisch, J. Marichal, R. Mesiar, and E. Pap, Aggregation functions, 2009.
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.205-208, 2006.

D. E. Knuth and P. B. Bendix, Simple word problems in universal algebras, Automation of Reasoning, pp.342-376, 1983.

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

J. Marichal, Weighted lattice polynomials, Discrete Mathematics, vol.309, issue.4, pp.814-820, 2009.

H. S. Miller and R. O. Winder, Majority-logic synthesis by geometric methods, IRE Transactions on Electronic Computers, issue.1, pp.89-90, 1962.

E. L. Post, Polyadic groups, Transactions of the American Mathematical Society, vol.48, 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.