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