1. TreDS 1996: Aachen, Germany

maintained by Schloss Dagstuhl LZI at University of Trier