Soundness in negotiations

Javier Esparza, Denis Kuperberg, Anca Muscholl, Igor Walukiewicz. Soundness in negotiations. Logical Methods in Computer Science, 14(1), 2018. [doi]

Abstract

Abstract is missing.