Anthony J. Bonner Tomasz Imielinski Reusing and Modifying Rulebases by Predicate Substitution. 136-166 1997 54 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss54.html#BonnerI97