Dominic Deuber, Nico Dottling, Bernardo Magri, Giulio Malavolta, and Sri Aravinda Krishnan…
Simon Gregersen, Søren Eller Thomsen, and Aslan Askarov — Aarhus University
(Published in F. Nielson and D. Sands (Eds.): POST 2019, LNCS 11426, pp. 51–75, 2019.)