1. Towards a theory of declarative knowledge;Apt,1986
2. Contributions to the theory of logic programming;Apt;J. ACM,1982
3. Minimalism subsumes default logic and circumscription in stratified logic programming;Bidoit,1987
4. N. Bidoit and C. Froidevaux, Declarative semantics of stratified logic programs and databases: minimalism subsumes default logic and circumscription, Inform. and Comput., to appear.
5. More on stratified default theories;Bidoit,1988