Teodor C. Przymusinski Hudson Turner Update by Means of Inference Rules. 125-143 1997 30 J. Log. Program. 2 db/journals/jlp/jlp30.html#PrzymusinskiT97