Peep Küngas, Mihhail Matskin. Symbolic Negotiation with Linear Logic. In Jürgen Dix, João Alexandre Leite, editors, Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers. Volume 3259 of Lecture Notes in Computer Science, pages 71-88, Springer, 2004. [doi]
Abstract is missing.