1. Concurrent Actions and Changes in the Situation Calculus;Alferes,1994
2. Acyclic Programs;Apt,1990
3. Acyclic Programs;Apt;New Generation Computing,1991
4. Nonmonotonic Reasoning in the Framework of Situation Calculus;Baker;Artificial Intelligence,1991
5. Reasoning with Minimal Models: Efficient Algorithms and Applications;Ben-Eliyahu,1994