TY  - RPRT
TI  - A Sound and Complete Axiomatization of Majority-n Logic
AU  - Luca Amaru
AU  - Pierre-Emmanuel Gaillardon
AU  - Anupam Chattopadhyay
AU  - Giovanni De Micheli
PY  - 2015
DO  - 10.1109/tc.2015.2506566
UR  - https://arxiv.org/abs/1502.06359
ID  - 1502.06359
ER  -