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