Fangzhen Lin: Situation Calculus. Handbook of Knowledge Representation 2008: 649-669