# of records = 8
homepages/74/767 journals/jar/MoserILSGSM97 conf/tableaux/Mayr95 conf/cade/GollerLMS94 journals/jar/LetzMG94 conf/lpar/Mayr93 conf/wlp/Mayr93 conf/tableaux/LetzM92
XML
