Reasoning about Minimal Belief and Negation as Failure

Open in new window