TY  - RPRT
TI  - A General Framework for the Logical Representation of Combinatorial Exchange Protocols
AU  - Munyque Mittelmann
AU  - Sylvain Bouveret
AU  - Laurent Perrussel
PY  - 2021
UR  - https://arxiv.org/abs/2102.02061
ID  - 2102.02061
ER  -