1. Towards a theory of declarative knowledge;Apt,1988
2. Logic programming as constructivism: A formalization and its application to databases;Bry,1989
3. Negation as failure;Clark,1978
4. A truth maintenance system;Doyle;Artif. Intell.,1979
5. A fixpoint approach to declarative semantics of logic programs;Dung,1989