A. Finzi, T. Lukasiewicz: "Game-Theoretic Golog under Partial Observability"; Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-02; 2005; 17 pages.
http://publik.tuwien.ac.at/files/pub-inf_3529.pdf