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

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

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1;