Distributed Constraint Problem Solving And Reasoning In Multi-Agent Systems by Weixiong Zhang & Volker Sorge