c-ijcai-97-1412Fangzhen Lin.
Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1997, pp. 1412-1419.