# of records = 6
homepages/73/6825 conf/dlog/KaminskiS09 conf/tableaux/KaminskiSS09 journals/entcs/KaminskiS09 journals/jolli/KaminskiS09 conf/cade/KaminskiS08
XML
