record journals/eatcs/Palamidessi05

maintained by Schloss Dagstuhl LZI at University of Trier