Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg, Anton Setzer
Browse the full LICS paper archive.