record conf/f-ic/SeroussiMLMB13

maintained by Schloss Dagstuhl LZI at University of Trier