Extraction of Functional Information from Combinatorial Circuits. - M. Ohmura; Hiroto Yasuura; Keikichi Tamaru (ICCAD, 1990)