c-ijcai-95-1970G. N. Kartha and Vladimir Lifschitz.
A Simple Formalization of Actions Using Circumscription. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 1970-1975.