Franco Mileto Gianfranco R. Putzolu Statistical Complexity of Algorithms for Boolean Function Minimization. 364-375 1965 12 J. ACM 3 http://doi.acm.org/10.1145/321281.321287 db/journals/jacm/jacm12.html#MiletoP65