F. Móricz, “On a minimization algorithm for Boolean functions”, Acta Cybern, vol. 1, no. 2, pp. 97-103, Jan. 1971.