H.: ConGolog, a concurrent programming language based on the situation calculus (2000)

by G De Giacomo, Y Lesperance, Levesque
Venue:Artificial Intelligence