Peep Küngas Mihhail Matskin Symbolic negotiation: Partial deduction for linear logic with coalition formation. 193-215 2008 6 Web Intelligence and Agent Systems 2 http://dx.doi.org/10.3233/WIA-2008-0133 db/journals/wias/wias6.html#KungasM08