record conf/f-ic/NizzaOMS13

maintained by Schloss Dagstuhl LZI at University of Trier