Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Marille Stoelinga
Browse the full LICS paper archive.