Móricz, F., Varga, A. and Ecsedi-Tóth, P. 1979. A method for minimizing partially defined Boolean functions. Acta Cybernetica. 4, 3 (Jan. 1979), 283-290.