Raymond Reiter Zheng Yuhua Scheduling in the Situation Calculus: A Case Study. 397-421 1997 21 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai21.html#ReiterY97 http://dx.doi.org/10.1023/A:1018981822532