1. A. Bracciali, A.C. Kakas, Frame consistency: Computing with causal explanations, in: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR'04), 2004, pp. 79–87.
2. Preferred answer sets for extended logic programs;Brewka;Artificial Intelligence,1999
3. An inductive definition approach to ramifications;Denecker;Electronic Transactions on Artificial Intelligence,1998
4. Y. Dimopoulos, A. Kakas, L. Michael, Reasoning about actions and change in answer set programming, in: Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'04), 2004, pp. 61–73.
5. TAL: Temporal action logics language specification and tutorial;Doherty;Electronic Transactions on Artificial Intelligence,1998