Distributed reason maintenance for multiagent systems - Kraetzschmar, Gerhard K. (Springer, 1997)