Symbolic negotiation: Partial deduction for linear logic with coalition formation