A Correct goal-directed proof procedure for a general logic program with integrity constraints

  • 10.1007/3-540-56454-3_2
  • Lecture Notes in Computer Science
  • p 24-44,
  • book-chapter
Add Review