Controlling Autonomous Robots with GOLOG. - Kenneth Tam; J. Lloyd; Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Daniel Marcu; Raymond Reiter; Michael R. M. Jenkin (Australian Joint Conference on Artificial Intelligence, 1997)