ftp.disi.unige.it/2015-02-11.ftp.disi.unige.it.tar/ftp.disi.unige.it/pub/.person/PuppoE/VARIANT/refs.tex/labels.pl

Text File | 2000-06-26 | 3KB | 126 lines

# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate labels original text with physical files.


$key = q/cite_BerDob95/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_BerKre97/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_CigPupSco97/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_ColSha89/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFFalPie85/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMag94/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMagCOSIT95/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMagPupIEEE97/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DeFMagPupIEEE98/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_DobYvi93/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Dow99/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FelGri90/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FlyAway/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_FowLit79/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Fra94/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_GarHec95/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_GarHec97/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Hop96/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Hop98/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Kre94PATH/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_LanMahSac97/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Lee89/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_LinAl96/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Mag99/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Pup96/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_RenCli84/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Rip92/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

$key = q/cite_Topovista/;
$external_labels{$key} = "$URL/" . q|node1_ct.html|;
$noresave{$key} = "$nosave";

1;


# LaTeX2HTML 2022 (Released January 1, 2022)
# labels from external_latex_labels array.


1;