Minimalism subsumes default logic and circumscription (1987)

by N Bidoit, C Froidevaux
Venue:In Proceedings of IEEE Symposium on Logic in Computer Science, LICS-87