record conf/ifl/2000

maintained by Schloss Dagstuhl LZI at University of Trier