SOUNDNESS IN NEGOTIATIONS. - ESPARZA, JAVIER; KUPERBERG, DENIS; MUSCHOLL, ANCA; WALUKIEWICZ, IGOR (Logical Methods in Computer Science (LMCS), 2018)