1. Towards a general theory of action and time;Allen;Artificial Intelligence,1984
2. Temporal constraint propagation in DAS;Burke,1988
3. Scheduling in dynamic environments;Burke,1989
4. Tactical scheduling in a dynamic environment;Burke,1989
5. Symbolic Logic and Mechanical Theorem Proving;Chang,1973