1. A logic programming system for non-monotonic reasoning;Alferes;J. Automat. Reason.,1995
2. ‘Classical’ negation in non-monotonic reasoning and logic programming;Alferes;J. Automat. Reason.,1998
3. Reasoning with Logic Programming;Alferes,1996
4. Dualities between alternative semantics for logic programming and non-monotonic reasoning;Baral,1991
5. General logic databases and programs: default logic semantics and stratification;Bidoit;J. Inform. Comput.,1988