# of records = 5
homepages/60/1683 journals/entcs/ReedP09 journals/entcs/Reed08 journals/entcs/Reed07 conf/tphol/Reed03
XML
