GOLOG: A Logic Programming Language for Dynamic Domains (1994)

by Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl