record journals/jair/VenessNHUS11

maintained by Schloss Dagstuhl LZI at University of Trier