Algorithms for Constructing Minimal Deduction Graphs. - Chao-Chih Yang; Jennifer Jau-Yin Chen; H. Lewis Chau (IEEE Trans. Software Eng., 1989)