Distributed agent architecture for port automation
Foundations of Constraint Satisfaction