# of records = 7
homepages/99/3808 journals/logcom/HahnleK96 conf/korso/KlingenbeckK95 conf/korso/DeussenHKK95 conf/tableaux/Klingenbeck95 conf/cade/KlingenbeckH94 conf/ftrtft/KauflK94
XML
