# of records = 4
homepages/11/6610 journals/iandc/JacquemardKV11 conf/lics/BargunoCGJV10 conf/lata/JacquemardKV09
XML