record conf/sat/ArbelaezC12

maintained by Schloss Dagstuhl LZI at University of Trier