record journals/constraints/QuesadaSBOS15

maintained by Schloss Dagstuhl LZI at University of Trier