Kerima Benkerimi John C. Shepherdson Partial Deduction of Updateable Definite Logic Programs. 1-26 1994 18 J. Log. Program. 1 db/journals/jlp/jlp18.html#BenkerimiS94