Formalisation of Dynamic Properties of Multi-Issue Negotiation

This document contains a number of formal dynamic properties that are relevant for multi-issue negotiation.