record journals/adhoc/BadreddineKPC17

maintained by Schloss Dagstuhl LZI at University of Trier