Robert Brian Cutler, Saburo Muroga: Useless prime implicants of incompletely specified multiple-output switching functions. Int. J. Parallel Program. 9(4): 337-350 (1980)