record conf/pts/PetrenkoYH03

maintained by Schloss Dagstuhl LZI at University of Trier