# of records = 8
homepages/14/6761 conf/icse/Freese06 conf/scm/Freese03 conf/xpu/Freese03 conf/xpu/Freese03a conf/puk/SauerFT00 journals/ki/AppelrathSFT00 conf/puk/Freese99
XML
