A. Finzi, T. Lukasiewicz: "Game-Theoretic Reasoning about Actions in Nonmonotonic Causal Theories"; Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-04; 2005; 15 pages.
http://publik.tuwien.ac.at/files/pub-inf_3531.pdf