1. Positivism vs. minimalism in deductive databases;Bidoit,1986
2. Minimalism subsumes default logic and circumscription in stratified logic programming;Bidoit,1987
3. Nonmonotonic reasoning and databases;Bossu,1984
4. Saturation, nonmonotonic reasoning and the closed-world assumption;Bossu;Artificial Intelligence,1985
5. Negations as failure;Clark,1978