Algorithms for constructing minimal deduction graphs | IEEE Journals & Magazine | IEEE Xplore