Ponomaryov D., Soutchanski M. Component properties of forgetting and progression in the situation calculus // Computer Science. — 2012. — # 34 — P. 105-133