record journals/jar/BlanchetteGKKU16

maintained by Schloss Dagstuhl LZI at University of Trier