# of records = 6
homepages/88/647 journals/jar/SommerN04 conf/lpar/McMathRS01 journals/jsyml/AvigadS99 journals/bsl/AvigadS97 journals/apal/Sommer95
XML
