"Majority-Inverter Graph: A New Paradigm for Logic Optimization" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 35, Issue 5, pp. 806 - 819, May 2016