A Formal Proof of the Deadline Driven Scheduler. - Zheng Yuhua; Chaochen Zhou (FTRTFT, 1994)

Scheduling in the Situation Calculus: A Case Study. - Raymond Reiter; Zheng Yuhua (Ann. Math. Artif. Intell., 1997)