record journals/tcs/CaseL18

maintained by Schloss Dagstuhl LZI at University of Trier