A. Richard Helm Detecting and Eliminating Redundant derivations in Logic Knowledge Bases. 145-161 1989 DOOD db/conf/dood/dood89.html#Helm89