1. Nonmonotonic reasoning in the framework of situation calculus;Baker;Artificial Intelligence,1991
2. Chitta Baral and Michael Gelfond. Representing concurrent actions in extended logic programming. In Proc. of IJCAI-93, pages 866–871, 1993.
3. A computational logic handbook;Boyer,1988
4. Weidong Chen and David S. Warren. A goal-oriented approach to computing well-founded semantics. In Krzysztof Apt, editor, Proc. Joint Int'l Conf. and Symp. on Logic Programming, pages 589–603, 1992.
5. Mark Denecker and Danny De Schreye. Representing incomplete knowledge in abductive logic programming. In Dale Miller, editor, Logic Programming: Proceedings of the 1993 Int'l Symposium, pages 147–163, 1993.