P. Hermawan, N. Kobayashi, and K. Kijima, “Holistic Formal Analysis of Dilemmas of Negotiation”, ISSS, vol. 51, no. 2, Jul. 2007.