H.Khalil

• Logical Foundations of Reactive Default Reasoning