TY - RPRT TI - Soundness in negotiations AU - Javier Esparza AU - Denis Kuperberg AU - Anca Muscholl AU - Igor Walukiewicz PY - 2018 DO - 10.23638/lmcs-14(1:4)2018 UR - https://arxiv.org/abs/1703.05137 ID - 1703.05137 ER -