Avraham Ben-Aroya Dean Doron Amnon Ta-Shma 1:1-1:27 2020 CCC https://doi.org/10.4230/LIPIcs.CCC.2020.1 conf/coco/2020 db/conf/coco/coco2020.html#Ben-AroyaDT20