record conf/f-ic/CharletDDGMV12

maintained by Schloss Dagstuhl LZI at University of Trier