Rectification of Multiple Logic Design Errors in Multiple Output Circuits. - Masahiro Tomita; Tamotsu Yamamoto; Fuminori Sumikawa; Kotaro Hirano (DAC, 1994)