ftp.cs.yorku.ca 2015/ftp.cs.yorku.ca.tar/ftp.cs.yorku.ca/pub/ostroff/papers/survey.tex/internals.pl

Text File | 1997-06-19 | 14KB | 591 lines

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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

$key = q/tbl:rttl-compare/;
$ref_files{$key} = "$dir".q|node19_ct.html|;
$noresave{$key} = "$nosave";

1;