GOLOG: a logic programming language for dynamic domains’, (1997)

by H J Levesque, R Reiter, Y Lesperance, F Lin, R B Scherl
Venue:Journal of Logic Programming