Hideyuki Ichihara, Seiji Kajihara, Kozo Kinoshita. An Efficient Procedure for Obtaining Implication Relations and Its Application to Redundancy Identification. In 7th Asian Test Symposium (ATS 98), 2-4 December 1998, Singapore. pages 58-63, IEEE Computer Society, 1998. [doi]
Abstract is missing.