# of records = 8
homepages/34/265 conf/aisc/Chaieb08 journals/jar/ChaiebN08 conf/mkm/ChaiebW07 conf/ictac/Chaieb06 conf/cade/Chaieb06 conf/lpar/ChaiebN05 journals/entcs/WildmoserCN05
XML
