Móricz, F. et al. 1979. A method for minimizing partially defined Boolean functions. Acta Cybernetica. 4, 3 (Jan. 1979), 283–290.