Title：Logic Optimization: Redundancy Addition and Removal Using Implication Relations
Authors: Hideyuki Ichihara, Kozo Kinoshita
Jounrnals：IEICE Trans. Inf. and Syst.
Volume: E81-D
Number: 7
Pages: 724-730
Published Month: 7
Published Year: 1998
Type: article
Abstract:
NULL
Reference: http://ci.nii.ac.jp/naid/110003219786
