Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming

Nicole Bidoit Christine Froidevaux Minimalism subsumes Default Logic and Circumscription in Stratified Logic Programming 89-97 conf/lics/LICS2 1987 LICS db/conf/lics/lics87.html#BidoitF87