1997]. GOLOG: A logic programming language for dynamic domains (0)

by H Levesque, R Reiter, Y Lespérance, F Lin, R Scherl
Venue:Journal of Logic Programming