James G. Schmolze Wayne Snyder Detecting redundancy among production rules using term rewrite semantics. 3-11 1999 12 Knowl.-Based Syst. 1-2 http://dx.doi.org/10.1016/S0950-7051(99)00003-9 db/journals/kbs/kbs12.html#SchmolzeS99