1. Fages' theorem and answer set programming;Babovich,2000
2. Minimalism subsumes default logic and circumscription;Bidoit,1987
3. Negation as failure;Clark,1978
4. Encoding planning problems in non-monotonic logic programs;Dimopoulos,1997
5. Transformations of logic programs related to causality and planning;Erdem,1999