record conf/icfp/Dolan13

maintained by Schloss Dagstuhl LZI at University of Trier