ConGolog, a concurrent programming language based on the situation calculus [pdf]

No comments yet.