CaselliLogiccoordination2019