# of records = 8
homepages/29/5390 conf/haskell/AbelBBHN05 conf/types/LindbladB04 journals/njc/BenkeDJ03 conf/fossacs/Benke99 journals/tcs/Benke99 conf/mfcs/Benke98 conf/mfcs/Benke93
XML
