Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem. - Todd G. Kelley (KR, 1996)

Modeling Dynamic Domains with ConGolog. - Yves Lespérance; Todd G. Kelley; John Mylopoulos; Eric S. K. Yu (CAiSE, 1999)