Kenneth Tam J. Lloyd Yves Lespérance Hector J. Levesque Fangzhen Lin Daniel Marcu Raymond Reiter Michael R. M. Jenkin Controlling Autonomous Robots with <i>GOLOG</i>. 1-12 1997 conf/ausai/1997 Australian Joint Conference on Artificial Intelligence db/conf/ausai/ausai1997.html#TamLLLLMRJ97 http://dx.doi.org/10.1007/3-540-63797-4_53