1. E. Giunchiglia, V. Lifschitz, An action language based on causal logic, in: Working Note of 4th Symposium on Logical Formalizations of Commonsense Reasoning, 1998.
2. Answer set planning;Lifschitz,1999
3. V. Lifschitz, H. Turner, Representing transition systems by logic programs, in: Logic Programming and Non-monotonic Reasoning: Proceedings of the Fifth International Conference, Lecture Notes in Artificial Intelligence, vol. 1730, pp. 92–106.
4. Satisfiability planning with causal theories;McCain,1998
5. E. Giunchiglia, Planning as satisfiability with expressive action languages: concurrency, constraints and nondeterminism, in: Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR’00), 2000, pp. 649–654.