Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning