A General Framework for the Logical Representation of Combinatorial Exchange Protocols

Open in new window