record conf/lrec/LefakisAV18

maintained by Schloss Dagstuhl LZI at University of Trier