Ron van der Meyden. Constructing Finite State Implementations of Knowledge-Based Programs with Perfect Recall. In Lawrence Cavedon, Anand S. Rao, Wayne Wobcke, editors, Intelligent Agent Systems, Theoretical and Practical Issues, Based on a Workshop Held at PRICAI 96, Cairns, Australia, August 26-30, 1996. Volume 1209 of Lecture Notes in Computer Science, pages 135-151, Springer, 1996. [doi]
Abstract is missing.