Reasoning about Minimal Belief and Negation as Failure