Shlomo Moran Yehoshua Perl The Complexity of Identifying Redundant and Essential Elements. 22-30 1981 2 J. Algorithms 1 db/journals/jal/jal2.html#MoranP81