Distributed reason maintenance for multiagent systems - Kraetzschmar, Gerhard K. (Lecture notes in computer science ;, 1997)