Hermawan, P.; Kobayashi, N.; Kijima, K. Holistic Formal Analysis of Dilemmas of Negotiation. ISSS 2007, 51.