Gérard Ferrand Pierre Deransart Proof Method of Partial Correctness and Weak Completeness for Normal Logic Programs. 265-278 1993 17 J. Log. Program. 2/3&4 db/journals/jlp/jlp17.html#FerrandD93