Artificial Intelligence and Systems Theory: Applied to Cooperative Robots
GOLOG: A Logic Programming Language for Dynamic Domains