A Logical Formulation for Negotiation Among Dishonest Agents