F. Móricz, A. Varga, and P. Ecsedi-Tóth, “A method for minimizing partially defined Boolean functions”, Acta Cybern, vol. 4, no. 3, pp. 283-290, Jan. 1979.