# of records = 7
homepages/72/3973 journals/iandc/SchutzG00 conf/plilp/EisingerGP97 journals/jar/GeislerPS97 conf/cade/SchutzG96 conf/jfplc/AbdennadherBEG95 conf/time/BecksteinG94
XML
