A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints

  • 10.1007/3-540-56454-3_2