Constraint Satisfaction Techniques for Agent-Based Reasoning - Neagu, Nicoleta (Birkhäuser Basel, 2005)