record journals/tcs/KaufmannBL18

maintained by Schloss Dagstuhl LZI at University of Trier