Joeri Engelfriet V. Wiktor Marek Jan Treur Miroslaw Truszczynski Default logic and specification of nonmonotonic reasoning. 99-112 2001 13 J. Exp. Theor. Artif. Intell. 2 db/journals/jetai/jetai13.html#EngelfrietMTT01