An algorithm for identification of relations among rules. - Hemant Y. Marathe; Ta-Kang Ma; Chen-Ching Liu (TAI, 1989)