Selected references Franco Mileto and Gianfranco Putzolu. Statistical complexity of algorithms for Boolean function minimization. Journal of the ACM, 12(3):364-375, July 1965.