record conf/pts/2000

maintained by Schloss Dagstuhl LZI at University of Trier