# of records = 8
homepages/08/2639 conf/tcs/NijholtP83 journals/tcs/PittlY83 journals/jcss/Pittl82 conf/mfcs/Pittl81 journals/tcs/Pittl81 conf/mfcs/Pittl78 conf/mfcs/Pittl77
XML
