Metalevel Negation and Non-Monotonic Reasoning