record conf/ictcs/AriasCP16

maintained by Schloss Dagstuhl LZI at University of Trier