A formal approach to protocols and strategies for (legal) negotiation