An Abductive Proof Procedure for Conditional Logic Programming