Grigoris Antoniou Volker Sperschneider Operational Concepts of Nonmonotonic Logics, Part 1: Default Logic. 3-16 1994 8 Artif. Intell. Rev. 1 db/journals/air/air8.html#AntoniouS94