record journals/tcs/OlartePN15

maintained by Schloss Dagstuhl LZI at University of Trier