Lifschitz, Vladimir (1987): ``Formal theories of action'', in: The Frame Problem in Artificial Intelligence, Proceedings of the 1987 Workshop, 1987.
