Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations (1998)
Dix Jurgen , Furbach Ulrich , Niemelä Ilkka