Mascot-SDS
   
overflow: auto; /* Scrollbar is displayed as it's needed */
Tamajit Banerjee Rupak Majumdar Kaushik Mallik
IIT Delhi MPI-SWS MPI-SWS
tamajitbuba3 (at) gmail.com rupak (at) mpi-sws.org kmallik (at) mpi-sws.org
Mateusz Rychlicki Anne-Kathrin Schmuck Sadegh Soudjani
MPI-SWS MPI-SWS Newcastle University
mrychlicki (at) mpi-sws.org akschmuck (at) mpi-sws.org Sadegh.Soudjani (at) newcastle.ac.uk