%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Wed Apr 5 15:38:21 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$2$}{% Miller:1984:FSS% }. \NAMECITE{$2n$}{% Bent:1985:FMR% }. \NAMECITE{$3$}{% Blum:1989:AAC,% Yao:1983:SPA% }. \NAMECITE{$=$}{% DeMillo:1980:CPE% }. \NAMECITE{$^1$}{% Barrington:1986:BWP,% Barrington:1987:FMF% }. \NAMECITE{$d$}{% Yao:1985:GAD% }. \NAMECITE{$g$}{% Heath:1987:PNG% }. \NAMECITE{$K$}{% Ko:1988:RPT,% Cole:1984:HRP,% Galil:1986:NSP% }. \NAMECITE{$l$}{% Dolev:1988:TNA% }. \NAMECITE{$n$}{% MeyeraufderHeide:1985:FAD,% aufderHeide:1983:PLS% }. \NAMECITE{$O(((m + n)n^2 + (m + n)^{1.5}n)L)$}{% Vaidya:1987:ALP% }. \NAMECITE{$O(1)$}{% Fiat:1989:IPS% }. \NAMECITE{$O(g)$}{% Heath:1987:PNG% }. \NAMECITE{$O(\lg n)$}{% Bracha:1985:ERR% }. \NAMECITE{$O(\log \log N)$}{% Ajtai:1986:DSL% }. \NAMECITE{$O(\log N)$}{% Upfal:1989:DPR,% Bilardi:1984:MAV% }. \NAMECITE{$O(n)$}{% Broder:1986:HHI% }. \NAMECITE{$O(n^{0.4})$}{% Blum:1989:AAC% }. \NAMECITE{$O(n^2 \log n \log^* n)$}{% Bloniarz:1980:SPA% }. \NAMECITE{$O(n \log n)$}{% Ajtai:1983:SN% }. \NAMECITE{$\omega$}{% Culik:1981:SEP,% Safra:1989:ATL% }. \NAMECITE{$s$}{% Broder:1989:TST% }. \NAMECITE{$t$}{% Broder:1989:TST% }. \NAMECITE{{}-approximation}{% Blum:1989:AAC% }. \NAMECITE{-automata}{% Safra:1989:ATL% }. \NAMECITE{-coloring}{% Blum:1989:AAC% }. \NAMECITE{-connected}{% Miller:1984:FSS% }. \NAMECITE{-dimensional}{% MeyeraufderHeide:1985:FAD,% Yao:1985:GAD,% aufderHeide:1983:PLS% }. \NAMECITE{-exclusion}{% Dolev:1988:TNA% }. \NAMECITE{-hulls}{% Cole:1984:HRP% }. \NAMECITE{-page}{% Galil:1986:NSP% }. \NAMECITE{-sequence}{% Culik:1981:SEP% }. \NAMECITE{-space}{% Yao:1983:SPA% }. \NAMECITE{2n}{% Coppersmith:1984:ELG% }. \NAMECITE{Abstract}{% Angluin:1980:LGP,% Bhatt:1982:HAT,% Brown:1980:KSA,% Chazelle:1980:DET,% Fagin:1980:HCD,% Hawrusik:1981:CFC,% Heintz:1980:TPW,% Hoffmann:1980:TIC,% Immerman:1982:RQC,% Joseph:1981:FPI,% Karp:1980:LET,% Kim:1981:DSC,% King:1981:MPA,% Kleitman:1981:NLS,% Leighton:1982:LSV,% Lloyd:1980:CPS,% Mehlhorn:1982:VBT,% Overmars:1980:DMC,% Reif:1980:LPP,% Storer:1980:NCM,% Strong:1980:VEF,% Vardi:1982:CRQ,% Willard:1982:MDS,% Yao:1981:ELV,% Yao:1982:STT,% Vardi:1984:ATT% }. \NAMECITE{accelerating}{% Cole:1986:DCT% }. \NAMECITE{Access}{% Bertoni:1981:CCF,% Brown:1980:KSA,% Haastad:1987:ABP,% Myers:1983:RAH% }. \NAMECITE{achieve}{% Adleman:1988:USA% }. \NAMECITE{achieving}{% Dolev:1984:PIA% }. \NAMECITE{{ACM}}{% ACM:1980:CPT,% ACM:1981:CPT% }. \NAMECITE{acyclic}{% Beeri:1981:PAD% }. \NAMECITE{adaptive}{% Awerbuch:1989:CDD% }. \NAMECITE{addition}{% Huynh:1985:CEP,% Kosaraju:1982:DRV% }. \NAMECITE{adjusting}{% Sleator:1983:SAB% }. \NAMECITE{admit}{% Tompa:1980:TFT% }. \NAMECITE{affine}{% Jimbo:1985:EOA% }. \NAMECITE{agreement}{% Dolev:1982:PAM,% Feldman:1988:OAB% }. \NAMECITE{agreements}{% Graham:1989:IRB% }. \NAMECITE{algebra}{% Ben-Or:1984:CEA,% Friedl:1985:PTS% }. \NAMECITE{Algebraic}{% Smolensky:1987:AMT,% Ben-Or:1983:LBA,% Canny:1988:SAG,% Cleve:1988:CAF,% Ehrig:1980:CIL,% Huang:1984:FPF,% JaJa:1980:TST,% Kannan:1984:PFN,% vonzurGathen:1983:PAA% }. \NAMECITE{algebraically}{% Ierardi:1989:QET% }. \NAMECITE{algebraically-closed}{% Ierardi:1989:QET% }. \NAMECITE{algebras}{% Parisi-Presicce:1981:FRE,% Pratt:1980:DAN,% Ronyai:1987:SAD% }. \NAMECITE{algorithm}{% Adler:1984:SAW,% Aggarwal:1987:LTA,% Aggarwal:1987:RNA,% Anderson:1985:PAM,% Baker:1983:AAM,% Ben-Or:1986:FPA,% Ben-Or:1988:DAS,% Bloniarz:1980:SPA,% Blum:1989:AAC,% Bollobas:1985:AFH,% Borodin:1987:OOA,% Clarkson:1985:PAP,% Coffman:1986:PEA,% Dyer:1989:RPT,% Filotti:1980:PTA,% Franzblau:1984:ACR,% Gabow:1983:LTA,% Harel:1985:LAF,% Karmarkar:1984:NPT,% Karp:1984:FPA,% Landau:1986:IEP,% Luby:1985:SPA,% Mayr:1981:AGP,% Miller:1987:NGT,% Mulmuley:1986:FPA,% Orlin:1988:FSP,% Schnorr:1986:OSA,% Tarjan:1986:LTA,% Vaidya:1987:ALP,% Wigderson:1982:NAG,% aufderHeide:1983:PLS% }. \NAMECITE{algorithmic}{% Mirkowska:1980:CAA% }. \NAMECITE{Algorithms}{% Leiserson:1985:ART,% Aggarwal:1988:VMA,% Awerbuch:1987:ODA,% Awerbuch:1989:RDS,% Bach:1982:FAU,% Bach:1987:RAS,% Bollobas:1985:EBD,% Chazelle:1989:LSC,% Clarkson:1984:FET,% Clarkson:1987:AAS,% Cohen:1989:SPT,% Cole:1986:DCT,% Dietz:1987:TAM,% Dolev:1982:PAM,% Feder:1988:OAA,% Feldman:1988:OAB,% Fellows:1989:SDE,% Gabow:1988:AOS,% Gabow:1988:FFG,% Galil:1984:OPA,% Kannan:1983:IAI,% Kapoor:1986:FAC,% Karloff:1988:RAP,% Karp:1980:LET,% Leighton:1986:TBM,% Manasse:1988:CAL,% MeyeraufderHeide:1985:FAD,% Motwani:1989:EGA,% Naor:1987:FPA,% Pachl:1982:TPL,% Papadimitriou:1988:TAI,% Pnueli:1983:EFT,% Reif:1981:DAS,% Tompa:1980:TFT,% Turner:1983:PAB,% vonzurGathen:1983:PAA% }. \NAMECITE{allocation}{% Coffman:1986:PEA,% Lynch:1980:FAN% }. \NAMECITE{Almost}{% Gabow:1988:AOS,% Goldwasser:1986:AAP,% Haastad:1986:AOL,% Jia-Wei:1981:GAB% }. \NAMECITE{Almost-optimum}{% Gabow:1988:AOS% }. \NAMECITE{{ALOGTIME}}{% Buss:1987:BFV% }. \NAMECITE{alternating}{% Inoue:1982:TDA,% King:1981:MPA,% Manber:1982:PNA% }. \NAMECITE{Alternation}{% Kannan:1983:APN% }. \NAMECITE{Amortized}{% Sleator:1984:AEL% }. \NAMECITE{Analysis}{% Haastad:1987:ABP,% Bach:1987:RAS,% Gonnet:1981:LPS,% Halpern:1988:KBA,% Karp:1984:PAM,% Leighton:1986:TBM,% Lueker:1988:MAD,% Motwani:1989:EGA,% Papadimitriou:1988:TAI,% Turner:1983:PAB% }. \NAMECITE{Angeles}{% ACM:1980:CPT% }. \NAMECITE{Annual}{% ACM:1981:CPT,% ACM:1980:CPT,% ACM:1982:PFA,% ACM:1983:PFA,% ACM:1984:PSA,% ACM:1985:PSA,% ACM:1986:PEA,% ACM:1987:PNA,% ACM:1988:PTA,% ACM:1989:PTF% }. \NAMECITE{answering}{% Yao:1982:STT% }. \NAMECITE{any}{% Bellare:1988:HSG,% Goldreich:1987:HPM% }. \NAMECITE{application}{% Chandra:1981:EBR,% Kaltofen:1987:SFH,% Slot:1984:TVC% }. \NAMECITE{applications}{% Blum:1988:NIZ,% Chazelle:1989:LSC,% Clarkson:1986:FAR,% Gabow:1988:FFG,% Harel:1984:GRI,% Leighton:1986:TBM,% Naor:1989:UOW,% Yao:1983:SPA% }. \NAMECITE{approach}{% Cypher:1980:AKP,% Feder:1989:NFP,% Frederickson:1987:NAA,% Goldberg:1986:NAM,% Paul:1980:ITA,% Sipser:1983:CTA,% Yao:1985:GAD,% oDunlaing:1983:RNA% }. \NAMECITE{approximate}{% Feder:1988:OAA,% Landau:1986:IEP,% Stockmeyer:1983:CAC,% Wigderson:1982:NAG% }. \NAMECITE{approximated}{% Pitt:1989:MCD% }. \NAMECITE{approximating}{% Bar-Yehuda:1982:AVC,% Dyer:1989:RPT% }. \NAMECITE{Approximation}{% Clarkson:1987:AAS,% Baker:1983:AAM,% Blum:1989:AAC,% Broder:1986:HHI,% Clarkson:1984:FET,% Goldberg:1987:SMC,% Hochbaum:1984:PGP,% Jerrum:1988:CRM,% Papadimitriou:1988:OAC% }. \NAMECITE{approximations}{% Razborov:1989:MA% }. \NAMECITE{April}{% ACM:1980:CPT,% ACM:1983:PFA,% ACM:1984:PSA% }. \NAMECITE{arbitrary}{% Mulmuley:1986:FPA% }. \NAMECITE{archimedean}{% Vitanyi:1984:DEA% }. \NAMECITE{architecture}{% Papadimitriou:1988:TAI% }. \NAMECITE{architecture-independent}{% Papadimitriou:1988:TAI% }. \NAMECITE{area}{% Bilardi:1984:MAV,% Blum:1984:AME% }. \NAMECITE{area-maximum}{% Blum:1984:AME% }. \NAMECITE{arithmetic}{% Alt:1984:CAF,% Brent:1980:CCB,% Buss:1985:PHF,% Cook:1989:FIF,% Coppersmith:1987:MMA,% Joseph:1981:FPI,% Kosaraju:1986:PED,% Vaidya:1987:ALP% }. \NAMECITE{arrangement}{% Edelsbrunner:1986:TSA% }. \NAMECITE{array}{% Atallah:1982:GPM,% Gacs:1985:STD% }. \NAMECITE{arrays}{% Kosaraju:1986:OSB,% Raghavan:1985:PGR% }. \NAMECITE{Aspects}{% Siegel:1986:AIF,% Schmidt:1989:AUP% }. \NAMECITE{assemble}{% Bhatt:1982:HAT% }. \NAMECITE{associative}{% Chandra:1983:UFC% }. \NAMECITE{asynchronous}{% Arjomandi:1981:DEB,% Halpern:1988:RAK,% Iwama:1983:UDS% }. \NAMECITE{atomic}{% Dolev:1988:TNA% }. \NAMECITE{Automata}{% Vardi:1984:ATT,% Engelfriet:1983:IPA,% Gacs:1983:RCC,% Gurevich:1982:TAG,% Kearns:1989:CLL,% Muller:1981:PAG,% Rivest:1989:IFA,% Safra:1989:ATL,% Ukkonen:1980:DME% }. \NAMECITE{automaton}{% Duris:1981:FTW% }. \NAMECITE{auxiliary}{% Pippenger:1980:CSP% }. \NAMECITE{Average}{% Cunto:1984:ACS,% Adler:1984:SAW,% Ben-David:1989:TAC,% Leighton:1986:TBM,% Levin:1984:PCA,% Motwani:1989:EGA% }. \NAMECITE{average-case}{% Motwani:1989:EGA% }. \NAMECITE{axiomatization}{% Mirkowska:1980:CAA,% Sadri:1980:CAL% }. \NAMECITE{backoff}{% Haastad:1987:ABP% }. \NAMECITE{backtrack}{% Carter:1985:CBS% }. \NAMECITE{Bandwidth}{% Monien:1981:BCN,% Turner:1983:PAB% }. \NAMECITE{based}{% Halpern:1988:KBA,% Ong:1984:ESS% }. \NAMECITE{be}{% Carlson:1980:GPM,% Goldwasser:1986:AAP,% Pitt:1989:MCD% }. \NAMECITE{behavior}{% Bentley:1984:SUE,% Bollobas:1985:EBD% }. \NAMECITE{Berkeley}{% ACM:1986:PEA% }. \NAMECITE{better}{% Duris:1981:FTW,% Duris:1982:TTB,% Maass:1987:TTB,% Mehlhorn:1982:VBT% }. \NAMECITE{between}{% Adler:1984:SAW,% Aharoni:1985:DIL,% Arjomandi:1981:DEB,% Boppana:1989:OSB,% Chandra:1981:EBR,% Dolev:1981:OWB,% Karp:1980:SCB,% Kosaraju:1986:OSB,% Lam:1989:TBC,% Peleg:1988:TBS,% Upfal:1984:PRB% }. \NAMECITE{bidirected}{% Gabow:1983:ERT% }. \NAMECITE{biinfinis}{% Nivat:1982:ERM% }. \NAMECITE{bin}{% Bentley:1984:SUE,% Karp:1984:PAM% }. \NAMECITE{binary}{% Brent:1980:CCB,% Culberson:1985:EUB,% Hawrusik:1981:CFC,% Jia-Wei:1981:GAB,% Paterson:1981:BME,% Sleator:1983:SAB% }. \NAMECITE{bipartite}{% Gabow:1988:AOS% }. \NAMECITE{bits}{% Ben-Or:1983:CSS,% Kannan:1984:PFN% }. \NAMECITE{bivariate}{% Kaltofen:1982:PRM% }. \NAMECITE{blocking}{% Feldman:1986:NBN% }. \NAMECITE{blue}{% Jia-Wei:1981:CRB% }. \NAMECITE{bodies}{% Dyer:1989:RPT% }. \NAMECITE{boolean}{% Alt:1984:CAF,% Bilardi:1987:STC,% Buss:1987:BFV,% Chor:1989:ZOL,% Kearns:1987:LBF,% Kearns:1989:CLL,% Natarajan:1987:LBF,% Smolensky:1987:AMT% }. \NAMECITE{{Borel}}{% Sipser:1983:BSC% }. \NAMECITE{Boston}{% ACM:1983:PFA% }. \NAMECITE{bottleneck}{% Hochbaum:1984:PGP% }. \NAMECITE{bound}{% Karp:1988:RPB% }. \NAMECITE{Bounded}{% Barrington:1986:BWP,% Dolev:1989:BCT,% Adler:1984:SAW,% Babai:1982:IGB,% Boppana:1984:TFB,% Buss:1985:PHF,% Dwork:1986:FTN,% Furer:1983:NFT,% Hart:1984:PTL,% Miller:1980:ITG,% Mirkowska:1980:CAA,% Ruzzo:1982:SBH,% Simon:1981:SBP% }. \NAMECITE{Bounded-width}{% Barrington:1986:BWP% }. \NAMECITE{Bounds}{% Borodin:1983:BWT,% Cook:1982:BTP,% Paterson:1981:BME,% Ajtai:1986:TLB,% Beame:1987:OBD,% Ben-Or:1983:LBA,% Borodin:1989:LBL,% Duris:1983:TNL,% Duris:1984:LBC,% Fich:1981:LBC,% Fich:1983:NBP,% Fich:1985:OTT,% Haastad:1986:AOL,% King:1988:LBC,% Leighton:1984:TBC,% Leighton:1986:TBM,% Li:1986:NLB,% Lipton:1981:LBV,% Maass:1984:QLB,% Pachl:1982:TPL,% Paul:1980:ITA,% Smolensky:1987:AMT,% Valiant:1983:ELB,% Vardi:1985:IUL% }. \NAMECITE{branch}{% Karp:1988:RPB% }. \NAMECITE{branch-and-bound}{% Karp:1988:RPB% }. \NAMECITE{branching}{% Ajtai:1986:TLB,% Barrington:1986:BWP,% Borodin:1983:BWT,% Emerson:1982:DPE,% Emerson:1984:DBT% }. \NAMECITE{breaking}{% Adleman:1983:BGK,% Goldberg:1987:PSB% }. \NAMECITE{broadcast}{% Greenberg:1982:TCB% }. \NAMECITE{Building}{% Blumer:1984:BCI% }. \NAMECITE{{Butterfly}}{% Bhatt:1988:OSB% }. \NAMECITE{{Byzantine}}{% Bracha:1985:ERR,% Feldman:1988:OAB,% Graham:1989:IRB% }. \NAMECITE{calculus}{% Krishnamurthy:1981:EHT% }. \NAMECITE{California}{% ACM:1980:CPT,% ACM:1982:PFA,% ACM:1986:PEA% }. \NAMECITE{can}{% Carlson:1980:GPM,% Goldwasser:1986:AAP% }. \NAMECITE{canceling}{% Goldberg:1988:FMC% }. \NAMECITE{cannot}{% Pitt:1989:MCD% }. \NAMECITE{Canonical}{% Babai:1983:CLG% }. \NAMECITE{capture}{% Immerman:1983:LWC% }. \NAMECITE{captures}{% Chandra:1989:ERG% }. \NAMECITE{cascades}{% Cole:1986:DCT% }. \NAMECITE{case}{% Ben-David:1989:TAC,% Cunto:1984:ACS,% Dolev:1988:TNA,% Gabow:1983:LTA,% Gurevich:1988:NLT,% Leighton:1986:TBM,% Motwani:1989:EGA% }. \NAMECITE{cell}{% Fredman:1989:CPC% }. \NAMECITE{cellular}{% Gacs:1983:RCC,% Gacs:1985:STD% }. \NAMECITE{certain}{% Kaltofen:1987:SFH% }. \NAMECITE{certified}{% Goldwasser:1986:AAP% }. \NAMECITE{chains}{% Jerrum:1988:CRM% }. \NAMECITE{Channel}{% Mirzaian:1984:CRV% }. \NAMECITE{channels}{% Haastad:1987:ABP% }. \NAMECITE{characterization}{% Bertoni:1981:CCF,% Olderog:1983:CHL% }. \NAMECITE{characterize}{% Venkateswaran:1987:PCL% }. \NAMECITE{check}{% Blum:1989:DPC% }. \NAMECITE{{Chervonenkis}}{% Blumer:1986:CLG% }. \NAMECITE{Chicago}{% ACM:1988:PTA% }. \NAMECITE{chip}{% Brent:1980:CCB% }. \NAMECITE{chordal}{% Naor:1987:FPA% }. \NAMECITE{circuit}{% Alt:1984:CAF,% Sipser:1983:BSC,% Smolensky:1987:AMT% }. \NAMECITE{Circuits}{% Yao:1989:CLC,% Aggarwal:1988:ECV,% Aho:1983:NIT,% Awerbuch:1984:FEC,% Boppana:1984:TFB,% Chandra:1983:UFC,% Fich:1983:NBP,% Haastad:1986:AOL,% Karchmer:1988:MCC,% Kissin:1982:MEC,% Miller:1987:DPC,% Reif:1989:OSI,% Siegel:1986:AIF,% Valiant:1983:ELB% }. \NAMECITE{circulations}{% Goldberg:1988:FMC% }. \NAMECITE{City}{% ACM:1987:PNA% }. \NAMECITE{class}{% Bertoni:1981:CCF,% Sadri:1980:CAL% }. \NAMECITE{Classes}{% Hawrusik:1981:CFC,% Engelfriet:1983:IPA,% Immerman:1983:LWC,% Karp:1980:SCB,% Papadimitriou:1988:OAC,% Simon:1981:SBP% }. \NAMECITE{Classifying}{% Blumer:1986:CLG% }. \NAMECITE{clauses}{% Fagin:1980:HCD% }. \NAMECITE{clock}{% Dolev:1984:PIA% }. \NAMECITE{closed}{% Ierardi:1989:QET,% Schmidt:1989:AUP,% Simon:1981:SBP% }. \NAMECITE{closure}{% Kaltofen:1986:UCP,% Tompa:1980:TFT% }. \NAMECITE{clustering}{% Feder:1988:OAA% }. \NAMECITE{coin}{% Cleve:1986:LSC,% Cole:1986:DCT% }. \NAMECITE{coins}{% Goldwasser:1986:PCV% }. \NAMECITE{collapses}{% Hemachandra:1987:SEH% }. \NAMECITE{collections}{% Franzblau:1984:ACR% }. \NAMECITE{coloring}{% Blum:1989:AAC,% Venkatesan:1988:RIG,% Wigderson:1982:NAG% }. \NAMECITE{combinatorial}{% Adachi:1981:LLC,% Yannakakis:1988:ECO% }. \NAMECITE{combinators}{% Chazelle:1989:LSC% }. \NAMECITE{common}{% Kaltofen:1985:CPG% }. \NAMECITE{communicating}{% Vazirani:1985:TSC% }. \NAMECITE{Communication}{% Orlitsky:1984:CSC,% Papadimitriou:1982:CC,% Alon:1989:CRC,% Duris:1984:LBC,% Frederickson:1984:ISC,% Furer:1987:PRC,% Greenberg:1982:TCB,% Hajnal:1988:CCG,% Halstenberg:1988:DMC,% Iwama:1983:UDS,% Lam:1989:TBC,% Reif:1981:DAS,% Valiant:1981:USP,% Vazirani:1985:TSC% }. \NAMECITE{commutative}{% Huynh:1985:CEP% }. \NAMECITE{commute}{% Chandra:1989:ERG% }. \NAMECITE{Compact}{% Awerbuch:1989:CDD% }. \NAMECITE{compactness}{% Kim:1984:DDD% }. \NAMECITE{Comparative}{% Pippenger:1980:CSP% }. \NAMECITE{Comparison}{% Alt:1984:CAF,% Kahn:1984:EPG% }. \NAMECITE{comparisons}{% Bent:1985:FMR% }. \NAMECITE{Competitive}{% Manasse:1988:CAL% }. \NAMECITE{complement}{% Simon:1981:SBP% }. \NAMECITE{complementation}{% Reif:1982:SC% }. \NAMECITE{Complete}{% Mirkowska:1980:CAA,% Monien:1981:BCN,% Blumer:1984:BCI,% Levin:1984:PCA,% Paterson:1981:BME,% Sadri:1980:CAL,% Ukkonen:1981:LKT% }. \NAMECITE{Completeness}{% Ben-Or:1988:CTN% }. \NAMECITE{Complexity}{% Ehrig:1980:CIL,% Adachi:1981:LLC,% Alon:1989:CRC,% Ben-David:1989:TAC,% Ben-Or:1984:CEA,% Bilardi:1987:STC,% Brent:1980:CCB,% Carter:1985:CBS,% Chan:1981:RCC,% Chazelle:1981:MCV,% Chazelle:1987:CCC,% Duris:1984:LBC,% Engelfriet:1983:IPA,% Fich:1985:PCE,% Fortnow:1987:CPZ,% Fredman:1989:CPC,% Furer:1987:PRC,% Goldwasser:1985:KCI,% Greenberg:1982:TCB,% Hajnal:1988:CCG,% Halpern:1986:CRA,% Huynh:1985:CEP,% Ibarra:1980:CEP,% Immerman:1983:LWC,% Jia-Wei:1981:CRB,% Jia-wei:1980:SDS,% Kaltofen:1987:SFH,% Karp:1980:SCB,% King:1988:LBC,% Krentel:1986:COP,% Leighton:1984:TBC,% Leivant:1981:CPP,% Miller:1987:DPC,% Orlin:1981:CDL,% Papadimitriou:1982:CC,% Papadimitriou:1982:CFS,% Papadimitriou:1988:OAC,% Simon:1981:SBP,% Sipser:1983:BSC,% Sipser:1983:CTA,% Sistla:1982:CPL,% Smolensky:1987:AMT,% Stockmeyer:1983:CAC,% Vardi:1982:CRQ,% Vazirani:1985:TSC% }. \NAMECITE{compose}{% Barringer:1984:NYM% }. \NAMECITE{composition}{% Luby:1986:PRP% }. \NAMECITE{compositional}{% Gerth:1984:TLH% }. \NAMECITE{Compression}{% Goldberg:1985:CR% }. \NAMECITE{computable}{% Bertoni:1981:CCF,% Immerman:1982:RQC,% Kaltofen:1986:UCP% }. \NAMECITE{computation}{% Ben-Or:1983:LBA,% Ben-Or:1988:CTN,% Borodin:1980:TST,% Borodin:1982:RMS,% Chazelle:1980:DET,% Chazelle:1981:MCV,% Fich:1985:OTT,% Fortnow:1989:PCL,% Gacs:1983:RCC,% Guibas:1983:PMG,% Haastad:1989:FCU,% Joseph:1981:FPI,% King:1981:MPA,% Li:1986:NLB,% Paul:1980:ITA,% Upfal:1984:PRB,% Vishkin:1984:RSU,% Yao:1981:PCK,% Yao:1989:CLC% }. \NAMECITE{computational}{% Clarkson:1986:FAR,% Friedl:1985:PTS,% Miller:1987:DPC,% Reif:1989:PNR% }. \NAMECITE{computationally}{% Karp:1985:SDP% }. \NAMECITE{computations}{% Bilardi:1987:STC,% Canny:1988:SAG,% Ruzzo:1982:SBH,% Yao:1981:ELV,% Ajtai:1984:TPC% }. \NAMECITE{compute}{% Cook:1982:BTP,% Heintz:1980:TPW,% Mulmuley:1986:FPA% }. \NAMECITE{computer}{% Galil:1981:EGP,% Joseph:1980:IRC% }. \NAMECITE{computers}{% Berman:1988:IFT,% Schnorr:1986:OSA% }. \NAMECITE{Computing}{% ACM:1980:CPT,% ACM:1981:CPT,% ACM:1982:PFA,% ACM:1983:PFA,% ACM:1984:PSA,% ACM:1985:PSA,% ACM:1986:PEA,% ACM:1987:PNA,% ACM:1988:PTA,% ACM:1989:PTF,% Cleve:1988:CAF,% Furedi:1986:CVD,% Kaltofen:1985:CPG,% Aggarwal:1987:LTA,% Hawrusik:1981:CFC,% Mehlhorn:1982:VBT% }. \NAMECITE{concepts}{% Blumer:1986:CLG% }. \NAMECITE{concrete}{% Bach:1982:FAU% }. \NAMECITE{concurrency}{% Bakker:1985:TSI,% Yannakakis:1981:ICD,% deBakker:1982:DSC,% deBakker:1985:TSI% }. \NAMECITE{Concurrent}{% Peleg:1985:CDL,% Beame:1986:LPC,% Boppana:1989:OSB,% Courcoubetis:1986:RAF,% Manber:1984:MDI% }. \NAMECITE{concurrent-write}{% Beame:1986:LPC,% Boppana:1989:OSB% }. \NAMECITE{concurrrent}{% Dolev:1989:BCT% }. \NAMECITE{Conductance}{% Jerrum:1988:CRM% }. \NAMECITE{cone}{% Hoffmann:1980:TIC% }. \NAMECITE{Conference}{% ACM:1980:CPT,% ACM:1981:CPT% }. \NAMECITE{configurations}{% Overmars:1980:DMC% }. \NAMECITE{conflicts}{% Willard:1984:LLP% }. \NAMECITE{conjecture}{% Birget:1989:PCR,% Bshouty:1989:EDS,% Kurtz:1989:ICF% }. \NAMECITE{conjectures}{% Lubotzky:1986:EER% }. \NAMECITE{connected}{% Atallah:1982:GPM,% Kosaraju:1986:OSB,% Miller:1984:FSS,% Schnorr:1986:OSA% }. \NAMECITE{connection}{% Koch:1989:WPE% }. \NAMECITE{connections}{% Karp:1980:SCB% }. \NAMECITE{connectivity}{% Broder:1989:TST,% Karchmer:1988:MCC,% Karp:1980:LET% }. \NAMECITE{connectors}{% Dolev:1983:SGG% }. \NAMECITE{consequences}{% Allender:1987:SCE,% Impagliazzo:1989:LPC% }. \NAMECITE{considerations}{% Vazirani:1987:ECU% }. \NAMECITE{consistency}{% DeMillo:1980:CPE% }. \NAMECITE{consistent}{% Pitt:1989:MCD% }. \NAMECITE{constant}{% Ajtai:1984:TPC,% Cleve:1988:CAF% }. \NAMECITE{constrained}{% Fortune:1988:PCM,% Gabow:1983:ERT,% Monien:1981:BCN% }. \NAMECITE{constraints}{% Cosmadakis:1985:ETD,% Lloyd:1980:CPS,% Orlitsky:1984:CSC% }. \NAMECITE{constructible}{% Dolev:1989:BCT,% Istrail:1988:PUT% }. \NAMECITE{Constructing}{% Karp:1985:CPM,% Peleg:1987:CDP,% Seidel:1986:CHD,% Franzblau:1984:ACR% }. \NAMECITE{constructive}{% Cook:1989:FIF% }. \NAMECITE{consumption}{% Aggarwal:1988:ECV,% Kissin:1982:MEC% }. \NAMECITE{contraction}{% Asano:1982:EDE% }. \NAMECITE{control}{% Yannakakis:1981:ICD% }. \NAMECITE{controlled}{% Lichtenstein:1987:IRS% }. \NAMECITE{convergence}{% Degano:1984:LPC% }. \NAMECITE{converse}{% Streett:1981:PDL% }. \NAMECITE{Convex}{% Chazelle:1981:CDP,% Aggarwal:1987:LTA,% Chazelle:1987:CCC,% Dobkin:1986:PCP,% Dyer:1989:RPT,% Kapoor:1986:FAC,% Seidel:1986:CHD% }. \NAMECITE{convexity}{% Kim:1981:DSC% }. \NAMECITE{Coordinate}{% Goodman:1989:CRO% }. \NAMECITE{core}{% Goldreich:1989:HCP,% Slot:1984:TVC% }. \NAMECITE{Correcting}{% Dolev:1984:CFW% }. \NAMECITE{correctness}{% Yannakakis:1981:ICD% }. \NAMECITE{cost}{% Goldberg:1987:SMC,% Goldberg:1988:FMC,% Orlin:1988:FSP,% Seidel:1986:CHD,% Storer:1980:NCM% }. \NAMECITE{counter}{% Chan:1981:RCC,% Duris:1981:FTW% }. \NAMECITE{counting}{% Awerbuch:1987:ODA,% Stockmeyer:1983:CAC% }. \NAMECITE{cover}{% Bar-Yehuda:1982:AVC,% Chandra:1989:ERG% }. \NAMECITE{{CRCW}}{% Beame:1987:OBD% }. \NAMECITE{{CREW}}{% Nisan:1989:CPD% }. \NAMECITE{Critical}{% Lloyd:1980:CPS% }. \NAMECITE{Cryptographic}{% DeMillo:1982:CP,% Kearns:1989:CLL,% Ben-Or:1983:CSS,% Ben-Or:1988:CTN,% Haastad:1985:CST,% Luby:1986:PRP,% Naor:1989:UOW% }. \NAMECITE{cryptography}{% Kilian:1988:FCO% }. \NAMECITE{cryptosystems}{% Adleman:1983:BGK% }. \NAMECITE{cutting}{% Chazelle:1987:CCC% }. \NAMECITE{cycle}{% Fich:1981:LBC,% Miller:1984:FSS% }. \NAMECITE{cycles}{% Bollobas:1985:AFH,% Cohen:1989:SPT,% Goldberg:1988:FMC,% Istrail:1988:PUT,% Iwano:1987:TCI,% Kosaraju:1988:DCD% }. \NAMECITE{Data}{% Frederickson:1983:DSL,% Frederickson:1984:DSL,% Awerbuch:1989:CDD,% Driscoll:1986:MDS,% Fredman:1989:CPC,% Sleator:1981:DSD% }. \NAMECITE{database}{% Beeri:1981:PAD,% Cosmadakis:1985:ETD,% Cosmadakis:1988:DOP,% Fagin:1980:HCD,% Yannakakis:1981:ICD% }. \NAMECITE{databases}{% Sadri:1980:CAL% }. \NAMECITE{{DC}}{% ACM:1984:PSA% }. \NAMECITE{Deadlock}{% Toueg:1980:DLF% }. \NAMECITE{Deadlock-}{% Toueg:1980:DLF% }. \NAMECITE{Decidability}{% Kosaraju:1982:DRV% }. \NAMECITE{Decidable}{% Cosmadakis:1988:DOP,% Culik:1981:SEP,% Feidman:1983:DPP,% Kannan:1980:OPD% }. \NAMECITE{Deciding}{% Emerson:1984:DBT% }. \NAMECITE{Decision}{% Emerson:1982:DPE,% Beame:1987:OBD,% Fellows:1989:SDE,% Karp:1985:SDP,% Kolaitis:1987:DPP,% Manber:1982:PNA,% Nisan:1989:CPD,% Ukkonen:1980:DME% }. \NAMECITE{decomposability}{% Iwama:1983:UDS% }. \NAMECITE{decompositions}{% Chazelle:1981:CDP% }. \NAMECITE{Definability}{% Meyer:1980:DDL,% deRougemont:1984:UDF% }. \NAMECITE{degree}{% Dwork:1986:FTN,% Gabow:1983:ERT% }. \NAMECITE{degree-constrained}{% Gabow:1983:ERT% }. \NAMECITE{delay}{% Aggarwal:1985:TVM% }. \NAMECITE{deletion}{% Asano:1982:EDE% }. \NAMECITE{Denotational}{% deBakker:1982:DSC% }. \NAMECITE{dense}{% Willard:1982:MDS% }. \NAMECITE{dependencies}{% Chandra:1981:EID,% Fagin:1980:HCD,% Kanellakis:1983:UID,% Sadri:1980:CAL% }. \NAMECITE{depth}{% Aggarwal:1987:RNA,% Aggarwal:1989:PDF,% Ajtai:1984:TPC,% Alon:1985:ESR,% Alt:1984:CAF,% Boppana:1984:TFB,% Dolev:1983:SGG,% Haastad:1986:AOL,% Karchmer:1988:MCC,% Klawe:1984:MFR% }. \NAMECITE{depth-first}{% Aggarwal:1989:PDF% }. \NAMECITE{Designing}{% Blum:1989:DPC,% Cole:1986:DCT% }. \NAMECITE{desirable}{% Upfal:1984:PRB% }. \NAMECITE{Detailed}{% Overmars:1980:DMC% }. \NAMECITE{Detecting}{% Kosaraju:1988:DCD,% Cohen:1989:SPT,% Valiant:1985:NED% }. \NAMECITE{Detection}{% Chazelle:1980:DET,% Fich:1981:LBC% }. \NAMECITE{Determining}{% Gonnet:1984:DEE,% Ben-Or:1986:FPA,% Filotti:1980:PTA% }. \NAMECITE{determinism}{% Mehlhorn:1982:VBT% }. \NAMECITE{Deterministic}{% Ajtai:1986:DSL,% Ajtai:1987:DSL,% Cole:1986:DCT,% Ben-Or:1988:DAS,% Dymond:1983:SDM,% Furer:1982:TDT,% Gurevich:1988:NLT,% Jia-wei:1980:SDS,% Maass:1984:QLB,% Ukkonen:1980:DME,% Upfal:1989:DPR% }. \NAMECITE{{DFA}}{% Pitt:1989:MCD% }. \NAMECITE{diagram}{% Aggarwal:1987:LTA% }. \NAMECITE{diagrams}{% Guibas:1983:PMG% }. \NAMECITE{diameter}{% Driscoll:1983:DPG% }. \NAMECITE{difference}{% Arjomandi:1981:DEB% }. \NAMECITE{different}{% Halstenberg:1988:DMC% }. \NAMECITE{difficult}{% Carlson:1980:GPM,% Furedi:1986:CVD,% Ronyai:1987:SAD% }. \NAMECITE{Digital}{% Kim:1981:DSC,% Kim:1984:DDD% }. \NAMECITE{dimension}{% Adler:1984:SAW,% Blumer:1986:CLG% }. \NAMECITE{dimensional}{% Gacs:1985:STD,% Inoue:1982:TDA,% MeyeraufderHeide:1985:FAD,% Seidel:1986:CHD,% Yao:1985:GAD,% aufderHeide:1983:PLS% }. \NAMECITE{direct}{% Bshouty:1989:EDS% }. \NAMECITE{directed}{% Aggarwal:1989:PDF% }. \NAMECITE{discreet}{% Long:1983:HDD% }. \NAMECITE{discrete}{% Lichtenstein:1987:IRS,% Long:1983:HDD% }. \NAMECITE{disjoint}{% Bollobas:1985:EBD,% Gabow:1983:LTA,% Peleg:1987:CDP% }. \NAMECITE{disks}{% Kim:1984:DDD% }. \NAMECITE{distance}{% Sleator:1986:RDT% }. \NAMECITE{Distributed}{% Reif:1981:DAS,% Vitanyi:1984:DEA,% Awerbuch:1987:ODA,% Awerbuch:1989:CDD,% Awerbuch:1989:RDS,% Ben-Or:1988:CTN,% Coan:1985:DFS,% Lynch:1980:FAN,% Mehlhorn:1982:VBT,% Pachl:1982:TPL% }. \NAMECITE{distribution}{% Plaisted:1980:DIF% }. \NAMECITE{division}{% Kosaraju:1986:PED,% Reif:1989:OSI% }. \NAMECITE{division-free}{% Kosaraju:1986:PED% }. \NAMECITE{divisors}{% Bach:1984:SDP,% Kaltofen:1985:CPG% }. \NAMECITE{{DOL}}{% Culik:1981:SEP% }. \NAMECITE{domain}{% Bruce:1985:PID% }. \NAMECITE{dominators}{% Harel:1985:LAF% }. \NAMECITE{double}{% Lueker:1988:MAD% }. \NAMECITE{Doubly}{% Lubiw:1985:DLO% }. \NAMECITE{Draft}{% Gonnet:1981:LPS,% Vitanyi:1982:RTS% }. \NAMECITE{Dual}{% Aharoni:1985:DIL% }. \NAMECITE{Dynamic}{% Meyer:1980:DDL,% Miller:1987:DPC,% Pratt:1980:DAN,% Coffman:1986:PEA,% Cohen:1989:SPT,% Feidman:1983:DPP,% Feldman:1982:PDL,% Fredman:1989:CPC,% Kosaraju:1988:DCD,% Manber:1984:MDI,% Orlin:1981:CDL,% Peleg:1985:CDL,% Sleator:1981:DSD,% Willard:1982:MDS,% Yao:1980:EDP,% Streett:1981:PDL% }. \NAMECITE{Dynamically}{% Overmars:1980:DMC% }. \NAMECITE{easier}{% Chaselle:1984:IET,% Chazelle:1980:DET% }. \NAMECITE{easy}{% Heintz:1980:TPW,% Mulmuley:1987:MEM,% Valiant:1985:NED% }. \NAMECITE{Edge}{% Asano:1982:EDE,% Blum:1984:AME,% Paterson:1981:BME% }. \NAMECITE{edge-contraction}{% Asano:1982:EDE% }. \NAMECITE{Edge-deletion}{% Asano:1982:EDE% }. \NAMECITE{edgings}{% Kozen:1984:PEE% }. \NAMECITE{effect}{% Culberson:1985:EUB% }. \NAMECITE{Efficiency}{% Vazirani:1987:ECU,% Arjomandi:1981:DEB,% Fellows:1989:SDE,% Peleg:1988:TBS,% Sleator:1984:AEL% }. \NAMECITE{Efficient}{% Broder:1984:EFT,% Pan:1985:EPS,% Yao:1980:EDP,% Awerbuch:1984:ENS,% Coffman:1986:PEA,% Gabow:1983:ERT,% Galil:1981:EGP,% Karlin:1986:PHE,% Landau:1986:IEP,% Ong:1984:ESS,% Slot:1984:TVC% }. \NAMECITE{eigenvalue}{% Babai:1982:IGB,% Friedman:1989:SER% }. \NAMECITE{Eighteenth}{% ACM:1986:PEA% }. \NAMECITE{electing}{% Frederickson:1984:ISC% }. \NAMECITE{election}{% Awerbuch:1987:ODA% }. \NAMECITE{elections}{% Vitanyi:1984:DEA% }. \NAMECITE{electrical}{% Chandra:1989:ERG% }. \NAMECITE{elementary}{% Ben-Or:1984:CEA% }. \NAMECITE{elements}{% Beame:1989:GST% }. \NAMECITE{elimination}{% Ierardi:1989:QET% }. \NAMECITE{ellipsoids}{% Post:1984:MSE% }. \NAMECITE{embeddable}{% Lichtenstein:1980:IGE% }. \NAMECITE{Embedded}{% Chandra:1981:EID% }. \NAMECITE{embedding}{% Storer:1980:NCM% }. \NAMECITE{embeddings}{% deFraysseix:1988:SSS% }. \NAMECITE{emulations}{% Koch:1989:WPE% }. \NAMECITE{encryption}{% Goldwasser:1982:PEH% }. \NAMECITE{ends}{% Muller:1981:PAG% }. \NAMECITE{Energy}{% Aggarwal:1988:ECV,% Kissin:1982:MEC% }. \NAMECITE{Ensembles}{% Nivat:1982:ERM% }. \NAMECITE{entropic}{% Yao:1981:ELV% }. \NAMECITE{environment}{% Manber:1984:MDI,% Willard:1982:MDS% }. \NAMECITE{Equational}{% Cosmadakis:1985:ETD,% Kozen:1984:PEE% }. \NAMECITE{Equations}{% Chandra:1981:EBR,% Bruce:1985:PID,% Kosaraju:1986:PED,% Ong:1984:ESS% }. \NAMECITE{equivalence}{% Culik:1981:SEP,% Gonnet:1984:DEE,% Huynh:1985:CEP,% Ibarra:1980:CEP,% Ukkonen:1980:DME% }. \NAMECITE{equivalent}{% Karp:1985:SDP% }. \NAMECITE{era}{% Dolev:1988:TNA% }. \NAMECITE{errors}{% Kearns:1988:LPM% }. \NAMECITE{estimate}{% Bach:1982:FAU% }. \NAMECITE{{Ethernet}}{% Goodman:1985:SE,% Willard:1984:LLP% }. \NAMECITE{{Euler}}{% Awerbuch:1984:FEC% }. \NAMECITE{Evaluating}{% Coppersmith:1984:ELG% }. \NAMECITE{evaluation}{% Kosaraju:1986:PED% }. \NAMECITE{Every}{% Kahn:1984:EPG% }. \NAMECITE{exact}{% Goldberg:1984:FES% }. \NAMECITE{exactly}{% Barrington:1986:BWP,% Ko:1988:RPT% }. \NAMECITE{Examples}{% Krishnamurthy:1981:EHT% }. \NAMECITE{exchange}{% Blum:1983:HES,% Kleitman:1981:NLS% }. \NAMECITE{exclusion}{% Dolev:1988:TNA% }. \NAMECITE{execution}{% Strong:1980:VEF% }. \NAMECITE{existence}{% Allender:1987:SCE% }. \NAMECITE{expander}{% Peleg:1987:CDP% }. \NAMECITE{Expanders}{% Alon:1985:ESR,% Jimbo:1985:EOA,% Lubotzky:1986:EER% }. \NAMECITE{Expanding}{% Motwani:1989:EGA% }. \NAMECITE{expected}{% Bentley:1984:SUE,% Bloniarz:1980:SPA,% Bollobas:1985:EBD,% Bracha:1985:ERR,% Clarkson:1984:FET,% Karp:1980:LET% }. \NAMECITE{expected-time}{% Clarkson:1984:FET,% Karp:1980:LET% }. \NAMECITE{Explicit}{% Lubotzky:1986:EER% }. \NAMECITE{Exponential}{% Valiant:1983:ELB,% Goodman:1989:CRO,% Hemachandra:1987:SEH% }. \NAMECITE{exponentiating}{% Fich:1985:PCE% }. \NAMECITE{Expressing}{% Yannakakis:1988:ECO% }. \NAMECITE{expressions}{% Gonnet:1984:DEE% }. \NAMECITE{Expressiveness}{% Afrati:1989:ERR,% Emerson:1982:DPE% }. \NAMECITE{{Exptime}}{% Hartmanis:1983:SSN% }. \NAMECITE{Extended}{% Angluin:1980:LGP,% Bhatt:1982:HAT,% Brown:1980:KSA,% Chazelle:1980:DET,% Fagin:1980:HCD,% Hawrusik:1981:CFC,% Heintz:1980:TPW,% Hoffmann:1980:TIC,% Immerman:1982:RQC,% Karp:1980:LET,% Kim:1981:DSC,% King:1981:MPA,% Kleitman:1981:NLS,% Leighton:1982:LSV,% Lloyd:1980:CPS,% Mehlhorn:1982:VBT,% Reif:1980:LPP,% Storer:1980:NCM,% Strong:1980:VEF,% Vardi:1982:CRQ,% Vardi:1984:ATT,% Willard:1982:MDS,% Yao:1981:ELV,% Yao:1982:STT,% Bshouty:1989:EDS,% Bach:1982:FAU% }. \NAMECITE{extensions}{% Parisi-Presicce:1981:FRE% }. \NAMECITE{extremal}{% Boyce:1982:FEP% }. \NAMECITE{extremely}{% Pnueli:1983:EFT% }. \NAMECITE{face}{% Seidel:1986:CHD% }. \NAMECITE{facets}{% Papadimitriou:1982:CFS% }. \NAMECITE{factor}{% Kaltofen:1987:SFH% }. \NAMECITE{Factoring}{% Lenstra:1983:FMP,% Bach:1984:SDP,% Vallee:1989:PFI% }. \NAMECITE{Factorization}{% Huang:1984:FPF,% Bach:1983:HGR,% Kaltofen:1982:PRM,% Kannan:1984:PFN% }. \NAMECITE{fails}{% Kurtz:1989:ICF% }. \NAMECITE{fair}{% Courcoubetis:1986:RAF,% Hennessy:1984:MFP,% Pnueli:1983:EFT% }. \NAMECITE{faithful}{% Parisi-Presicce:1981:FRE% }. \NAMECITE{familiar}{% Tompa:1980:TFT% }. \NAMECITE{fan}{% Chandra:1983:UFC% }. \NAMECITE{fan-in}{% Chandra:1983:UFC% }. \NAMECITE{fary}{% deFraysseix:1988:SSS% }. \NAMECITE{Fast}{% Bach:1982:FAU,% Clarkson:1984:FET,% Haastad:1989:FCU,% Joseph:1981:FPI,% Kapoor:1986:FAC,% Lynch:1980:FAN,% MeyeraufderHeide:1985:FAD,% Naor:1987:FPA,% Ben-Or:1986:FPA,% Karp:1984:FPA,% Mulmuley:1986:FPA,% Pintz:1988:TIS,% Vallee:1989:PFI% }. \NAMECITE{faster}{% Orlin:1988:FSP% }. \NAMECITE{Fault}{% Dwork:1986:FTN,% Feldman:1985:FTM,% Ben-Or:1988:CTN,% Berman:1988:IFT,% Broder:1984:EFT,% Dolev:1984:NLF% }. \NAMECITE{fault-tolerant}{% Ben-Or:1988:CTN,% Berman:1988:IFT% }. \NAMECITE{faults}{% Dolev:1984:CFW,% Haastad:1987:RHP% }. \NAMECITE{faulty}{% Cleve:1986:LSC,% Haastad:1989:FCU% }. \NAMECITE{feasible}{% Upfal:1984:PRB% }. \NAMECITE{feasibly}{% Cook:1989:FIF% }. \NAMECITE{field}{% Ierardi:1989:QET,% Mulmuley:1986:FPA% }. \NAMECITE{fields}{% Adleman:1986:FIP,% Fich:1985:PCE,% Huang:1984:FPF,% Huang:1985:RHF,% Lenstra:1983:FMP% }. \NAMECITE{fifteenth}{% ACM:1983:PFA% }. \NAMECITE{file}{% Blumer:1984:BCI% }. \NAMECITE{files}{% Blumer:1984:BCI,% Willard:1982:MDS% }. \NAMECITE{Finding}{% Adleman:1986:FIP,% Awerbuch:1984:FEC,% Bent:1985:FMR,% Boyce:1982:FEP,% Goldberg:1988:FMC,% Miller:1984:FSS,% Beame:1989:GST,% Bollobas:1985:AFH,% Goldberg:1984:FES,% Harel:1985:LAF,% Huang:1985:RHF,% Pachl:1982:TPL% }. \NAMECITE{fine}{% Barrington:1987:FMF% }. \NAMECITE{fingers}{% Baker:1985:SPT% }. \NAMECITE{Finite}{% Barrington:1987:FMF,% Adleman:1986:FIP,% Fich:1985:PCE,% Hart:1984:PTL,% Huang:1984:FPF,% Huang:1985:RHF,% Kearns:1989:CLL,% Lenstra:1983:FMP,% Rivest:1989:IFA,% deRougemont:1984:UDF% }. \NAMECITE{firing}{% Coan:1985:DFS% }. \NAMECITE{first}{% ACM:1989:PTF,% Aggarwal:1987:RNA,% Aggarwal:1989:PDF,% Yap:1980:STT% }. \NAMECITE{fixed}{% Feder:1989:NFP,% Filotti:1980:PTA,% Koch:1989:WPE% }. \NAMECITE{fixed-connection}{% Koch:1989:WPE% }. \NAMECITE{flips}{% Cleve:1986:LSC% }. \NAMECITE{flow}{% Gabow:1983:ERT,% Goldberg:1986:NAM,% Goldberg:1987:SMC,% Harel:1985:LAF,% Orlin:1988:FSP,% Siegel:1986:AIF,% Strong:1980:VEF% }. \NAMECITE{flows}{% Kapoor:1986:FAC,% Suzuki:1985:MFP% }. \NAMECITE{Fooling}{% Duris:1981:FTW% }. \NAMECITE{Forests}{% Gabow:1988:FFG% }. \NAMECITE{formal}{% Iwama:1983:UDS% }. \NAMECITE{forms}{% Chew:1981:UNF,% Furer:1983:NFT% }. \NAMECITE{formula}{% Buss:1987:BFV% }. \NAMECITE{formulae}{% Kearns:1987:LBF,% Kearns:1989:CLL,% Klawe:1984:MFR,% Plaisted:1980:DIF% }. \NAMECITE{formulas}{% Cleve:1988:CAF% }. \NAMECITE{foundation}{% Kissin:1982:MEC% }. \NAMECITE{Founding}{% Kilian:1988:FCO% }. \NAMECITE{Four}{% Yannakakis:1986:FPN% }. \NAMECITE{fourteenth}{% ACM:1982:PFA% }. \NAMECITE{fragments}{% Buss:1985:PHF,% DeMillo:1980:CPE% }. \NAMECITE{frames}{% Gabow:1988:FFG% }. \NAMECITE{Francisco}{% ACM:1982:PFA% }. \NAMECITE{free}{% Carlson:1980:GPM,% Kosaraju:1986:PED,% Toueg:1980:DLF% }. \NAMECITE{function}{% Bellare:1988:HSG% }. \NAMECITE{Functional}{% Cook:1989:FIF% }. \NAMECITE{functions}{% Adler:1984:SAW,% Alt:1984:CAF,% Bertoni:1981:CCF,% Boppana:1984:TFB,% Chandra:1983:UFC,% Cook:1982:BTP,% Goldreich:1989:HCP,% Hawrusik:1981:CFC,% Impagliazzo:1989:PRG,% Kaltofen:1986:UCP,% Ko:1986:NOW,% Levin:1985:OWF,% Naor:1989:UOW,% Natarajan:1987:LBF,% Slot:1984:TVC% }. \NAMECITE{Further}{% Clarkson:1986:FAR% }. \NAMECITE{game}{% Goldreich:1987:HPM,% Jia-Wei:1981:CRB% }. \NAMECITE{games}{% Adachi:1981:LLC,% Gabow:1988:FFG,% Gurevich:1982:TAG% }. \NAMECITE{general}{% Aggarwal:1989:PDF,% Beame:1989:GST,% Borodin:1980:TST,% Galil:1981:EGP,% Guibas:1983:PMG,% Harel:1984:GRI,% Mayr:1981:AGP,% Yao:1985:GAD% }. \NAMECITE{Generalized}{% Frederickson:1980:GSR,% Adleman:1983:BGK,% Dolev:1983:SGG% }. \NAMECITE{generalizers}{% Dolev:1983:SGG% }. \NAMECITE{generals}{% Bracha:1985:ERR% }. \NAMECITE{generate}{% Bach:1983:HGR% }. \NAMECITE{generating}{% Franzblau:1984:ACR,% Vazirani:1985:TSC% }. \NAMECITE{generation}{% Impagliazzo:1989:PRG% }. \NAMECITE{generators}{% Allender:1987:SCE,% Levin:1985:OWF,% Luby:1986:PRP% }. \NAMECITE{genus}{% Filotti:1980:PTA,% Heath:1987:PNG,% Miller:1980:ITG% }. \NAMECITE{geometric}{% Blumer:1986:CLG,% Canny:1988:SAG,% Clarkson:1984:FET,% Yao:1985:GAD% }. \NAMECITE{Geometry}{% Vaidya:1988:GHM,% Ben-Or:1984:CEA,% Clarkson:1986:FAR,% Gabow:1984:SRT,% Reif:1989:PNR,% Sleator:1986:RDT% }. \NAMECITE{{GF}}{% Coppersmith:1984:ELG% }. \NAMECITE{given}{% Bellare:1988:HSG,% Kaltofen:1985:CPG% }. \NAMECITE{global}{% Angluin:1980:LGP,% Kao:1989:LRG% }. \NAMECITE{good}{% Kahn:1984:EPG,% Leighton:1982:LSV,% Raghavan:1985:PGR% }. \NAMECITE{Graph}{% Atallah:1982:GPM,% Carlson:1980:GPM,% Chandra:1989:ERG,% Hajnal:1988:CCG,% King:1988:LBC,% Kleitman:1981:NLS,% Venkatesan:1988:RIG,% Wigderson:1982:NAG% }. \NAMECITE{Graphs}{% Jia-Wei:1981:GAB,% Aggarwal:1989:PDF,% Babai:1982:IGB,% Babai:1983:CLG,% Bar-Yehuda:1982:AVC,% Bollobas:1985:AFH,% Buss:1984:PPG,% Cohen:1989:SPT,% Filotti:1980:PTA,% Frederickson:1987:NAA,% Friedman:1989:SER,% Furer:1983:NFT,% Galil:1986:NSP,% Goldberg:1987:PSB,% Harel:1985:LAF,% Heath:1987:PNG,% Hochbaum:1984:PGP,% Hoffmann:1980:TIC,% Iwano:1987:TCI,% Kannan:1988:IRG,% Kosaraju:1988:DCD,% Lichtenstein:1980:IGE,% Miller:1980:ITG,% Miller:1984:FSS,% Motwani:1989:EGA,% Muller:1981:PAG,% Naor:1987:FPA,% Peleg:1987:CDP,% Raghavan:1985:PGR,% Shelah:1987:TSR,% Storer:1980:NCM,% Strong:1980:VEF,% Suzuki:1985:MFP,% Yannakakis:1986:FPN,% deFraysseix:1988:SSS% }. \NAMECITE{graphy}{% Miller:1987:NGT% }. \NAMECITE{greatest}{% Kaltofen:1985:CPG% }. \NAMECITE{grid}{% Leighton:1986:TBM,% Storer:1980:NCM% }. \NAMECITE{group}{% Babai:1985:TGT% }. \NAMECITE{groups}{% Babai:1987:PGN,% Driscoll:1983:DPG% }. \NAMECITE{half}{% Cleve:1986:LSC% }. \NAMECITE{{Hamilton}}{% Bollobas:1985:AFH% }. \NAMECITE{hard}{% Babai:1989:MPL,% Broder:1986:HHI,% Goldreich:1989:HCP,% Krishnamurthy:1981:EHT,% MeyeraufderHeide:1985:FAD,% Venkatesan:1988:RIG% }. \NAMECITE{hard-core}{% Goldreich:1989:HCP% }. \NAMECITE{hash}{% Naor:1989:UOW,% Slot:1984:TVC% }. \NAMECITE{hashing}{% Fiat:1988:NOH,% Karlin:1986:PHE,% Lueker:1988:MAD,% Schmidt:1989:AUP% }. \NAMECITE{having}{% Ko:1988:RPT% }. \NAMECITE{help}{% Wilber:1985:WPH% }. \NAMECITE{helps}{% Vaidya:1988:GHM% }. \NAMECITE{{Hensel}}{% Kaltofen:1987:SFH% }. \NAMECITE{Heuristics}{% Supowit:1980:HWP% }. \NAMECITE{hiding}{% Abadi:1987:HIO% }. \NAMECITE{hierarchical}{% Aggarwal:1987:MHM% }. \NAMECITE{hierarchies}{% Ko:1988:RPT,% Ruzzo:1982:SBH% }. \NAMECITE{hierarchy}{% Buss:1985:PHF,% Cai:1986:POR,% Furer:1982:TDT,% Hemachandra:1987:SEH,% Myers:1983:RAH% }. \NAMECITE{higher}{% Kolaitis:1987:DPP,% Seidel:1986:CHD% }. \NAMECITE{higher-dimensional}{% Seidel:1986:CHD% }. \NAMECITE{higher-order}{% Kolaitis:1987:DPP% }. \NAMECITE{Highly}{% Berkman:1989:HPP% }. \NAMECITE{{Hilbert}}{% Chung:1985:SOS% }. \NAMECITE{{Hoare}}{% Olderog:1983:CHL% }. \NAMECITE{homing}{% Rivest:1989:IFA% }. \NAMECITE{honest}{% Rabin:1989:VSS% }. \NAMECITE{{Horn}}{% Fagin:1980:HCD% }. \NAMECITE{hulls}{% Cole:1984:HRP,% Seidel:1986:CHD% }. \NAMECITE{hyperbolic}{% Sleator:1986:RDT% }. \NAMECITE{hypercube}{% Haastad:1987:RHP% }. \NAMECITE{hypercubes}{% Haastad:1989:FCU% }. \NAMECITE{hypothesis}{% Huang:1985:RHF,% Kurtz:1982:ROH,% Bach:1982:FAU% }. \NAMECITE{{I/O}}{% Jia-Wei:1981:CRB% }. \NAMECITE{identity}{% Fiege:1987:ZKP% }. \NAMECITE{Illinois}{% ACM:1988:PTA% }. \NAMECITE{impact}{% Frederickson:1984:ISC% }. \NAMECITE{Imperfect}{% Lichtenstein:1987:IRS% }. \NAMECITE{implementation}{% Karlin:1986:PHE% }. \NAMECITE{implementations}{% Brown:1980:KSA,% Ehrig:1980:CIL,% Tompa:1980:TFT% }. \NAMECITE{implicational}{% Chandra:1981:EID% }. \NAMECITE{Implicit}{% Fiat:1989:IPS,% Kannan:1988:IRG% }. \NAMECITE{impossibility}{% Dolev:1984:PIA% }. \NAMECITE{improbability}{% Graham:1989:IRB% }. \NAMECITE{Improved}{% Kannan:1983:IAI,% Vardi:1985:IUL% }. \NAMECITE{inclusion}{% Kanellakis:1983:UID% }. \NAMECITE{Independence}{% Joseph:1980:IRC,% Franzblau:1984:ACR% }. \NAMECITE{independent}{% Karp:1984:FPA,% Luby:1985:SPA,% Papadimitriou:1988:TAI,% Plaisted:1980:DIF% }. \NAMECITE{induction}{% Pratt:1980:DAN% }. \NAMECITE{inequalities}{% Chung:1985:SOS,% Yao:1980:EDP% }. \NAMECITE{inequality}{% Lueker:1986:LPT% }. \NAMECITE{Inference}{% Rivest:1989:IFA,% Chandra:1981:EID,% Kanellakis:1983:UID% }. \NAMECITE{infinitary}{% Bakker:1985:TSI,% deBakker:1985:TSI% }. \NAMECITE{infinite}{% Harel:1984:GRI,% Iwano:1987:TCI,% Pintz:1988:TIS% }. \NAMECITE{infinity}{% Fich:1985:OTT% }. \NAMECITE{information}{% Abadi:1987:HIO,% Aho:1983:NIT,% Goldwasser:1982:PEH,% Manber:1984:MDI,% Paul:1980:ITA,% Siegel:1986:AIF% }. \NAMECITE{information-theoretic}{% Paul:1980:ITA% }. \NAMECITE{initial}{% Joseph:1981:FPI% }. \NAMECITE{instance}{% Levin:1984:PCA% }. \NAMECITE{instances}{% Venkatesan:1988:RIG% }. \NAMECITE{integer}{% Aharoni:1985:DIL,% Kannan:1983:IAI,% Reif:1989:OSI,% Vallee:1989:PFI% }. \NAMECITE{integers}{% Bach:1983:HGR% }. \NAMECITE{integral}{% Kaltofen:1982:PRM% }. \NAMECITE{interactive}{% Ben-Or:1988:MPI,% Blum:1988:NIZ,% Goldwasser:1985:KCI,% Goldwasser:1986:PCV% }. \NAMECITE{internal}{% Fagin:1985:ISM% }. \NAMECITE{interpolation}{% Ben-Or:1988:DAS% }. \NAMECITE{interpretations}{% Cook:1989:FIF,% Mirkowska:1980:CAA% }. \NAMECITE{interprocess}{% Reif:1981:DAS% }. \NAMECITE{Intersecting}{% Chaselle:1984:IET% }. \NAMECITE{intersection}{% Frederickson:1984:DSL% }. \NAMECITE{intervals}{% Franzblau:1984:ACR% }. \NAMECITE{intractability}{% Ben-Or:1988:MPI% }. \NAMECITE{Introducing}{% Landau:1986:IEP% }. \NAMECITE{invariance}{% Slot:1984:TVC% }. \NAMECITE{inversion}{% Mulmuley:1987:MEM% }. \NAMECITE{inverted}{% Blumer:1984:BCI% }. \NAMECITE{Investigations}{% Berman:1988:IFT% }. \NAMECITE{irreducible}{% Adleman:1986:FIP% }. \NAMECITE{Island}{% ACM:1985:PSA% }. \NAMECITE{ismorphism}{% Kurtz:1989:ICF% }. \NAMECITE{Isomorphism}{% Babai:1982:IGB,% Lichtenstein:1980:IGE,% Miller:1980:ITG,% Filotti:1980:PTA,% Hoffmann:1980:TIC% }. \NAMECITE{isomorphisms}{% Bruce:1985:PID,% Ko:1986:NOW% }. \NAMECITE{Issues}{% Yannakakis:1981:ICD% }. \NAMECITE{Iterated}{% Engelfriet:1983:IPA% }. \NAMECITE{iterative}{% Parisi-Presicce:1981:FRE% }. \NAMECITE{{Kannan}}{% Birget:1989:PCR% }. \NAMECITE{keeping}{% Goldwasser:1982:PEH% }. \NAMECITE{key}{% Adleman:1983:BGK,% Munro:1987:STK% }. \NAMECITE{keys}{% Blum:1983:HES% }. \NAMECITE{knapsack}{% Adleman:1983:BGK,% Goldberg:1984:FES,% Yao:1981:PCK,% aufderHeide:1983:PLS% }. \NAMECITE{knowledge}{% Blum:1988:NIZ,% Fiege:1987:ZKP,% Fortnow:1987:CPZ,% Goldwasser:1985:KCI,% Halpern:1986:CRA,% Halpern:1988:KBA,% Halpern:1988:RAK% }. \NAMECITE{knowledge-based}{% Halpern:1988:KBA% }. \NAMECITE{known}{% Bach:1983:HGR% }. \NAMECITE{{Kraft}}{% Brown:1980:KSA% }. \NAMECITE{labeling}{% Babai:1983:CLG% }. \NAMECITE{{LALR}}{% Ukkonen:1981:LKT% }. \NAMECITE{Languages}{% Immerman:1983:LWC,% Bakker:1985:TSI,% Barrington:1986:BWP,% Bruce:1985:PID,% Orlin:1981:CDL,% Vardi:1982:CRQ,% deBakker:1985:TSI% }. \NAMECITE{large}{% Sadri:1980:CAL% }. \NAMECITE{lattice}{% Kannan:1983:IAI% }. \NAMECITE{law}{% Chor:1989:ZOL% }. \NAMECITE{layout}{% Blum:1984:AME,% Fischer:1980:OTL,% Leighton:1982:LSV% }. \NAMECITE{layouts}{% Kleitman:1981:NLS,% Leiserson:1985:ART% }. \NAMECITE{leader}{% Awerbuch:1987:ODA,% Frederickson:1984:ISC% }. \NAMECITE{learnability}{% Kearns:1987:LBF% }. \NAMECITE{learnable}{% Blumer:1986:CLG,% Valiant:1984:TL% }. \NAMECITE{Learning}{% Kearns:1988:LPM,% Kearns:1989:CLL,% Natarajan:1987:LBF% }. \NAMECITE{length}{% Blum:1984:AME,% Borodin:1989:LBL,% Paterson:1981:BME% }. \NAMECITE{level}{% Adachi:1981:LLC,% Ehrig:1980:CIL% }. \NAMECITE{levels}{% Ko:1988:RPT% }. \NAMECITE{lexical}{% Lubiw:1985:DLO% }. \NAMECITE{lifting}{% Kaltofen:1987:SFH% }. \NAMECITE{{like}}{% Olderog:1983:CHL% }. \NAMECITE{likelihood}{% Halpern:1983:LRA% }. \NAMECITE{limitations}{% Kearns:1989:CLL,% Yao:1981:ELV% }. \NAMECITE{limited}{% Alon:1985:ESR,% Dolev:1983:SGG% }. \NAMECITE{Limits}{% Beame:1986:LPC,% Cleve:1986:LSC,% Impagliazzo:1989:LPC% }. \NAMECITE{line}{% Frederickson:1983:DSL,% Frederickson:1984:DSL,% Ibarra:1980:CEP,% Kaltofen:1985:CPG,% Kaltofen:1987:SFH,% Maass:1987:TTB,% Manasse:1988:CAL,% Paul:1980:ITA% }. \NAMECITE{Linear}{% Karp:1980:LET,% Lueker:1986:LPT,% Aggarwal:1987:LTA,% Aharoni:1985:DIL,% Blumer:1984:BCI,% Fortnow:1989:PCL,% Gabow:1983:LTA,% Gonnet:1981:LPS,% Gurevich:1988:NLT,% Harel:1985:LAF,% Karmarkar:1984:NPT,% Pan:1985:EPS,% Reif:1983:LTS,% Sistla:1982:CPL,% Tarjan:1986:LTA,% Vaidya:1987:ALP,% Yannakakis:1988:ECO,% aufderHeide:1983:PLS% }. \NAMECITE{linear-time}{% Gabow:1983:LTA,% Tarjan:1986:LTA% }. \NAMECITE{Linearity}{% Loebl:1988:LUS% }. \NAMECITE{linearly}{% Haastad:1985:CST% }. \NAMECITE{Lines}{% Chazelle:1989:LSC% }. \NAMECITE{linked}{% Dietz:1982:MOL% }. \NAMECITE{list}{% Brown:1980:KSA,% Dietz:1982:MOL,% Dietz:1987:TAM,% Sleator:1984:AEL% }. \NAMECITE{lists}{% Kosaraju:1981:LSS% }. \NAMECITE{livelock}{% Toueg:1980:DLF% }. \NAMECITE{livelock-free}{% Toueg:1980:DLF% }. \NAMECITE{Liveness}{% Degano:1984:LPC% }. \NAMECITE{Local}{% Angluin:1980:LGP,% Kao:1989:LRG,% Yao:1989:CLC% }. \NAMECITE{Localized}{% Kosaraju:1981:LSS% }. \NAMECITE{locking}{% Yannakakis:1981:ICD% }. \NAMECITE{Log}{% Willard:1984:LLP,% Long:1983:HDD,% Lueker:1986:LPT% }. \NAMECITE{Log-logarithmic}{% Willard:1984:LLP% }. \NAMECITE{logarithmic}{% Awerbuch:1984:FEC,% Karchmer:1988:MCC,% Reif:1983:LTS,% Seidel:1986:CHD,% Willard:1984:LLP% }. \NAMECITE{logarithms}{% Coppersmith:1984:ELG% }. \NAMECITE{{LOGCFL}}{% Venkateswaran:1987:PCL% }. \NAMECITE{Logic}{% Meyer:1980:DDL,% Barringer:1984:NYM,% Chandra:1981:EBR,% Cosmadakis:1988:DOP,% Emerson:1982:DPE,% Emerson:1984:DBT,% Fagin:1985:ISM,% Feidman:1983:DPP,% Feldman:1982:PDL,% Gerth:1984:TLH,% Halpern:1983:LRA,% Kozen:1984:PEE,% Muller:1981:PAG,% Olderog:1983:CHL,% Peleg:1985:CDL,% Safra:1989:ATL,% Streett:1981:PDL% }. \NAMECITE{Logics}{% Reif:1980:LPP,% Hart:1984:PTL,% Sistla:1982:CPL,% Vardi:1984:ATT,% Vardi:1985:IUL% }. \NAMECITE{logspace}{% Babai:1989:MPL,% Ajtai:1987:DSL% }. \NAMECITE{logspace-hard}{% Babai:1989:MPL% }. \NAMECITE{look}{% Dolev:1984:NLF% }. \NAMECITE{looping}{% Streett:1981:PDL% }. \NAMECITE{Low}{% Adachi:1981:LLC% }. \NAMECITE{Lower}{% Ben-Or:1983:LBA,% Borodin:1989:LBL,% Duris:1984:LBC,% Fich:1981:LBC,% King:1988:LBC,% Lipton:1981:LBV,% Ajtai:1986:TLB,% Duris:1983:TNL,% Fich:1985:OTT,% Haastad:1986:AOL,% Li:1986:NLB,% Maass:1984:QLB,% Pachl:1982:TPL,% Smolensky:1987:AMT,% Valiant:1983:ELB,% Vardi:1985:IUL% }. \NAMECITE{machine}{% Simon:1981:SBP% }. \NAMECITE{machines}{% Beame:1986:LPC,% Bhatt:1982:HAT,% Boppana:1989:OSB,% Chan:1981:RCC,% Duris:1981:FTW,% Duris:1982:TTB,% Dymond:1983:SDM,% Galil:1986:NSP,% Inoue:1982:TDA,% Maass:1984:QLB,% Maass:1987:TTB,% Vitanyi:1982:RTS,% Bertoni:1981:CCF% }. \NAMECITE{macro}{% Cole:1986:DCT% }. \NAMECITE{Maintaining}{% Dietz:1982:MOL,% Willard:1982:MDS,% Dietz:1987:TAM,% Manber:1984:MDI,% Overmars:1980:DMC% }. \NAMECITE{majority}{% Rabin:1989:VSS% }. \NAMECITE{Making}{% Driscoll:1986:MDS% }. \NAMECITE{malicious}{% Kearns:1988:LPM% }. \NAMECITE{{Manhattan}}{% Baker:1983:AAM% }. \NAMECITE{manipulation}{% Guibas:1983:PMG% }. \NAMECITE{many}{% Carlson:1980:GPM% }. \NAMECITE{{Markov}}{% Jerrum:1988:CRM% }. \NAMECITE{marriages}{% Feder:1989:NFP% }. \NAMECITE{marry}{% Broder:1986:HHI% }. \NAMECITE{Massachusetts}{% ACM:1983:PFA% }. \NAMECITE{Matching}{% Mulmuley:1987:MEM,% Gabow:1988:AOS,% Galil:1981:TSO,% Galil:1984:OPA,% Karp:1985:CPM,% Landau:1986:IEP,% Leighton:1986:TBM,% Stout:1983:TM,% Supowit:1980:HWP,% Vaidya:1988:GHM% }. \NAMECITE{matchings}{% Motwani:1989:EGA% }. \NAMECITE{matrices}{% Lubiw:1985:DLO% }. \NAMECITE{Matrix}{% Coppersmith:1987:MMA,% Mulmuley:1986:FPA,% Mulmuley:1987:MEM% }. \NAMECITE{matroid}{% Frederickson:1984:DSL,% Gabow:1988:FFG% }. \NAMECITE{matroids}{% Reif:1980:RM% }. \NAMECITE{maximal}{% Anderson:1985:PAM,% Karp:1984:FPA,% Luby:1985:SPA% }. \NAMECITE{maximum}{% Blum:1984:AME,% Goldberg:1986:NAM,% Pachl:1982:TPL% }. \NAMECITE{maximum-finding}{% Pachl:1982:TPL% }. \NAMECITE{May}{% ACM:1981:CPT,% ACM:1982:PFA,% ACM:1984:PSA,% ACM:1985:PSA,% ACM:1986:PEA,% ACM:1987:PNA,% ACM:1988:PTA,% ACM:1989:PTF,% Barringer:1984:NYM,% Gurevich:1988:NLT% }. \NAMECITE{measure}{% Kim:1984:DDD,% Storer:1980:NCM% }. \NAMECITE{Measures}{% King:1981:MPA% }. \NAMECITE{Measuring}{% Kissin:1982:MEC% }. \NAMECITE{median}{% Bent:1985:FMR% }. \NAMECITE{memory}{% Aggarwal:1987:MHM,% Aggarwal:1988:VMA,% Dolev:1984:CFW,% Karlin:1986:PHE,% Rivest:1982:HRS% }. \NAMECITE{mental}{% Goldreich:1987:HPM,% Goldwasser:1982:PEH% }. \NAMECITE{merging}{% Borodin:1982:RMS,% Hong:1982:NMN% }. \NAMECITE{mesh}{% Atallah:1982:GPM,% Kosaraju:1986:OSB,% Schnorr:1986:OSA% }. \NAMECITE{mesh-connected}{% Atallah:1982:GPM,% Kosaraju:1986:OSB% }. \NAMECITE{method}{% Razborov:1989:MA,% Ukkonen:1980:DME% }. \NAMECITE{methods}{% Smolensky:1987:AMT% }. \NAMECITE{metric}{% Degano:1984:LPC% }. \NAMECITE{metrical}{% Borodin:1987:OOA% }. \NAMECITE{micro}{% Cole:1986:DCT% }. \NAMECITE{Milwaukee}{% ACM:1981:CPT% }. \NAMECITE{minimal}{% Feldman:1985:FTM% }. \NAMECITE{minimax}{% Leighton:1986:TBM,% Paterson:1981:BME% }. \NAMECITE{minimization}{% Turner:1983:PAB% }. \NAMECITE{Minimum}{% Post:1984:MSE,% Awerbuch:1987:ODA,% Bilardi:1984:MAV,% Clarkson:1984:FET,% Franzblau:1984:ACR,% Frederickson:1983:DSL,% Goldberg:1987:SMC,% Goldberg:1988:FMC,% Orlin:1988:FSP,% Pitt:1989:MCD% }. \NAMECITE{minimum-cost}{% Goldberg:1987:SMC,% Goldberg:1988:FMC% }. \NAMECITE{mixing}{% Jerrum:1988:CRM% }. \NAMECITE{modal}{% Fagin:1985:ISM,% Vardi:1984:ATT,% Vardi:1985:IUL% }. \NAMECITE{model}{% Aggarwal:1987:MHM,% Borodin:1980:TST,% Chazelle:1981:MCV,% Yap:1980:STT% }. \NAMECITE{Modelling}{% Hennessy:1984:MFP% }. \NAMECITE{models}{% Aggarwal:1985:TVM,% Borodin:1982:RMS,% Bruce:1985:PID,% Hart:1984:PTL,% Joseph:1981:FPI,% Upfal:1984:PRB% }. \NAMECITE{modes}{% Halstenberg:1988:DMC% }. \NAMECITE{monoids}{% Barrington:1987:FMF% }. \NAMECITE{Monotone}{% Karchmer:1988:MCC,% Boppana:1984:TFB,% Klawe:1984:MFR,% Valiant:1983:ELB% }. \NAMECITE{motion}{% Clarkson:1987:AAS,% Fortune:1988:PCM,% oDunlaing:1983:RNA% }. \NAMECITE{motion-planning}{% oDunlaing:1983:RNA% }. \NAMECITE{mots}{% Nivat:1982:ERM% }. \NAMECITE{Multi}{% Ben-Or:1988:MPI,% Chandra:1983:MPP% }. \NAMECITE{Multi-party}{% Chandra:1983:MPP% }. \NAMECITE{Multi-prover}{% Ben-Or:1988:MPI% }. \NAMECITE{Multicommodity}{% Suzuki:1985:MFP,% Kapoor:1986:FAC% }. \NAMECITE{multicounters}{% Vitanyi:1982:RTS% }. \NAMECITE{multidimensional}{% Karp:1984:PAM% }. \NAMECITE{multikey}{% Fiat:1988:SSM% }. \NAMECITE{Multiparty}{% Babai:1989:MPL,% Chaum:1988:MUS,% Rabin:1989:VSS% }. \NAMECITE{multiple}{% Dolev:1982:PAM,% Haastad:1987:ABP% }. \NAMECITE{multiplexed}{% Iwama:1983:UDS% }. \NAMECITE{multiplication}{% Coppersmith:1987:MMA% }. \NAMECITE{multiplicity}{% Babai:1982:IGB% }. \NAMECITE{multivariate}{% Ben-Or:1988:DAS,% Kaltofen:1982:PRM,% Lenstra:1983:FMP% }. \NAMECITE{n2}{% Spinrad:1983:TON% }. \NAMECITE{nature}{% Pratt:1980:DAN% }. \NAMECITE{{NC}}{% Aggarwal:1987:RNA,% Babai:1987:PGN,% Barrington:1986:BWP,% Barrington:1987:FMF,% Cohen:1989:SPT,% Karp:1985:CPM,% Vazirani:1985:TPS% }. \NAMECITE{nearby}{% Lynch:1980:FAN% }. \NAMECITE{necessary}{% Yannakakis:1986:FPN% }. \NAMECITE{negative}{% Goldberg:1988:FMC% }. \NAMECITE{net}{% Mayr:1981:AGP% }. \NAMECITE{network}{% Ajtai:1983:SN,% Awerbuch:1984:ENS,% Bilardi:1984:MAV,% Dolev:1984:NLF,% Feldman:1985:FTM,% Gabow:1983:ERT% }. \NAMECITE{networks}{% Angluin:1980:LGP,% Berman:1988:IFT,% Bilardi:1987:STC,% Broder:1984:EFT,% Dwork:1986:FTN,% Feder:1989:NFP,% Feldman:1986:NBN,% Hong:1982:NMN,% Koch:1989:WPE,% Reif:1983:LTS,% Toueg:1980:DLF,% Bhatt:1988:OSB% }. \NAMECITE{nexptime}{% Hartmanis:1983:SSN% }. \NAMECITE{nineteenth}{% ACM:1987:PNA% }. \NAMECITE{no}{% Tompa:1980:TFT% }. \NAMECITE{node}{% Storer:1980:NCM% }. \NAMECITE{Non}{% Blum:1988:NIZ,% Feldman:1986:NBN,% Fiat:1988:NOH,% Ben-Or:1988:CTN,% Dolev:1988:TNA,% Ukkonen:1980:DME% }. \NAMECITE{non-atomic}{% Dolev:1988:TNA% }. \NAMECITE{Non-blocking}{% Feldman:1986:NBN% }. \NAMECITE{non-cryptographic}{% Ben-Or:1988:CTN% }. \NAMECITE{Non-interactive}{% Blum:1988:NIZ% }. \NAMECITE{Non-oblivious}{% Fiat:1988:NOH% }. \NAMECITE{non-real-time}{% Ukkonen:1980:DME% }. \NAMECITE{nondeterminism}{% Kannan:1983:APN% }. \NAMECITE{Nondeterministic}{% Gurevich:1988:NLT,% Duris:1982:TTB,% Galil:1986:NSP,% Maass:1984:QLB,% Manber:1982:PNA,% Mirkowska:1980:CAA% }. \NAMECITE{nonlinear}{% Duris:1983:TNL,% Gurevich:1988:NLT% }. \NAMECITE{nonrandomness}{% Kannan:1984:PFN% }. \NAMECITE{nontrivial}{% Galil:1986:NSP% }. \NAMECITE{nonuniform}{% Karp:1980:SCB% }. \NAMECITE{Normal}{% Furer:1983:NFT,% Chew:1981:UNF% }. \NAMECITE{note}{% Ko:1986:NOW% }. \NAMECITE{Notes}{% Hong:1982:NMN% }. \NAMECITE{notions}{% Aho:1983:NIT% }. \NAMECITE{NP}{% DeMillo:1980:CPE,% Hartmanis:1983:SSN,% Monien:1981:BCN,% Valiant:1985:NED,% Young:1983:SSP% }. \NAMECITE{{NP}-Complete}{% Monien:1981:BCN% }. \NAMECITE{{NP-P}}{% Hartmanis:1983:SSN% }. \NAMECITE{number}{% Adler:1984:SAW,% Cleve:1988:CAF,% DeMillo:1980:CPE,% Heath:1987:PNG,% Huang:1984:FPF,% Plaisted:1980:DIF% }. \NAMECITE{numbers}{% Bach:1984:SDP,% Kannan:1984:PFN,% Karloff:1988:RAP% }. \NAMECITE{{O}}{% Jia-Wei:1981:CRB% }. \NAMECITE{oblivious}{% Fiat:1988:NOH,% Goldreich:1987:TTS,% Kilian:1988:FCO,% Krizanc:1988:TRT,% Vitanyi:1982:RTS% }. \NAMECITE{obtained}{% Jimbo:1985:EOA% }. \NAMECITE{off}{% Maass:1987:TTB% }. \NAMECITE{off-line}{% Maass:1987:TTB% }. \NAMECITE{office}{% Clarkson:1985:PAP% }. \NAMECITE{on-line}{% Frederickson:1983:DSL,% Frederickson:1984:DSL,% Manasse:1988:CAL,% Paul:1980:ITA% }. \NAMECITE{once}{% Dolev:1984:CFW,% Rivest:1982:HRS% }. \NAMECITE{One}{% Fich:1985:OTT,% Levin:1985:OWF,% Cai:1986:POR,% Chor:1989:ZOL,% Duris:1981:FTW,% Duris:1982:TTB,% Galil:1986:NSP,% Goldberg:1984:FES,% Goldreich:1989:HCP,% Impagliazzo:1989:LPC,% Impagliazzo:1989:PRG,% Ko:1986:NOW,% Maass:1984:QLB,% Maass:1987:TTB,% Naor:1989:UOW,% Vitanyi:1982:RTS% }. \NAMECITE{one-tape}{% Galil:1986:NSP,% Maass:1984:QLB,% Vitanyi:1982:RTS% }. \NAMECITE{One-way}{% Levin:1985:OWF,% Goldreich:1989:HCP,% Impagliazzo:1989:LPC,% Impagliazzo:1989:PRG,% Ko:1986:NOW,% Naor:1989:UOW% }. \NAMECITE{online}{% Borodin:1987:OOA% }. \NAMECITE{operations}{% Vaidya:1987:ALP% }. \NAMECITE{optima}{% Aharoni:1985:DIL% }. \NAMECITE{Optimal}{% Awerbuch:1987:ODA,% Beame:1987:OBD,% Bhatt:1988:OSB,% Boppana:1989:OSB,% Dolev:1981:OWB,% Feder:1988:OAA,% Feldman:1988:OAB,% Fischer:1980:OTL,% Galil:1984:OPA,% Halpern:1985:OPP,% Kosaraju:1986:OSB,% Reif:1989:OSI,% Borodin:1987:OOA,% Galil:1981:TSO,% Haastad:1986:AOL,% Schnorr:1986:OSA,% Tompa:1980:OSW% }. \NAMECITE{Optimization}{% Papadimitriou:1988:OAC,% Cosmadakis:1988:DOP,% Krentel:1986:COP,% Orlin:1981:CDL,% Yannakakis:1988:ECO% }. \NAMECITE{optimum}{% Gabow:1988:AOS% }. \NAMECITE{oracle}{% Abadi:1987:HIO,% Cai:1986:POR,% Kurtz:1982:ROH,% Kurtz:1989:ICF% }. \NAMECITE{orbit}{% Kannan:1980:OPD% }. \NAMECITE{order}{% Dietz:1982:MOL,% Dietz:1987:TAM,% Goodman:1989:CRO,% Kao:1989:LRG,% Kolaitis:1987:DPP,% Muller:1981:PAG,% Yap:1980:STT% }. \NAMECITE{orderings}{% Lubiw:1985:DLO% }. \NAMECITE{orders}{% Kenyon-Mathieu:1989:VPO% }. \NAMECITE{organizing}{% Chung:1985:SOS% }. \NAMECITE{orientation}{% Spinrad:1983:TON% }. \NAMECITE{orthogonal}{% Vaidya:1985:STT% }. \NAMECITE{P}{% DeMillo:1980:CPE,% Hartmanis:1983:SSN,% Kaltofen:1986:UCP% }. \NAMECITE{{P-computable}}{% Kaltofen:1986:UCP% }. \NAMECITE{packet}{% Toueg:1980:DLF,% Upfal:1989:DPR% }. \NAMECITE{packing}{% Bentley:1984:SUE,% Karp:1984:PAM% }. \NAMECITE{page}{% Galil:1986:NSP,% Heath:1987:PNG% }. \NAMECITE{pagenumber}{% Buss:1984:PPG% }. \NAMECITE{pages}{% Yannakakis:1986:FPN% }. \NAMECITE{pairs}{% Frederickson:1987:NAA% }. \NAMECITE{papers}{% ACM:1980:CPT,% ACM:1981:CPT% }. \NAMECITE{Parallel}{% Aggarwal:1989:PDF,% Goldberg:1987:PSB,% Karlin:1986:PHE,% Kosaraju:1986:PED,% vonzurGathen:1983:PAA,% Ajtai:1986:DSL,% Anderson:1985:PAM,% Awerbuch:1984:FEC,% Beame:1986:LPC,% Ben-Or:1986:FPA,% Boppana:1989:OSB,% Borodin:1982:RMS,% Cole:1986:DCT,% Cook:1982:BTP,% Dymond:1983:SDM,% Fich:1983:NBP,% Fich:1985:OTT,% Fich:1985:PCE,% Galil:1981:EGP,% Galil:1984:OPA,% Karp:1984:FPA,% Karp:1988:RPB,% Leighton:1984:TBC,% Li:1986:NLB,% Luby:1985:SPA,% Miller:1987:DPC,% Mulmuley:1986:FPA,% Naor:1987:FPA,% Pan:1985:EPS,% Papadimitriou:1988:TAI,% Upfal:1984:PRB,% Valiant:1981:USP,% Vishkin:1984:RSU,% Yao:1981:PCK% }. \NAMECITE{parallelism}{% Adleman:1988:USA,% King:1981:MPA,% Landau:1986:IEP% }. \NAMECITE{parallelizable}{% Berkman:1989:HPP% }. \NAMECITE{parallelization}{% Miller:1987:NGT% }. \NAMECITE{parameter}{% Leivant:1981:CPP% }. \NAMECITE{partial}{% Goldwasser:1982:PEH,% Kenyon-Mathieu:1989:VPO% }. \NAMECITE{partition}{% Yao:1983:SPA% }. \NAMECITE{party}{% Chandra:1983:MPP% }. \NAMECITE{{Pascal}}{% Olderog:1983:CHL% }. \NAMECITE{{Pascal-like}}{% Olderog:1983:CHL% }. \NAMECITE{passing}{% Leivant:1981:CPP% }. \NAMECITE{path}{% Anderson:1985:PAM,% Bloniarz:1980:SPA,% Clarkson:1987:AAS,% Feldman:1985:FTM,% Lloyd:1980:CPS% }. \NAMECITE{paths}{% Awerbuch:1989:RDS,% Cypher:1980:AKP,% Frederickson:1987:NAA,% Peleg:1987:CDP,% Sharir:1984:SPP,% Suzuki:1985:MFP% }. \NAMECITE{{PDL}}{% Kozen:1983:PP% }. \NAMECITE{pebble}{% Jia-Wei:1981:CRB% }. \NAMECITE{pebbles}{% Carlson:1980:GPM,% Kalyanasundaram:1988:PWP,% Wilber:1985:WPH% }. \NAMECITE{pebbling}{% Carlson:1980:GPM,% Pippenger:1980:CSP% }. \NAMECITE{Pebblings}{% Kozen:1984:PEE% }. \NAMECITE{perfect}{% Bach:1984:SDP,% Fortnow:1987:CPZ,% Karp:1985:CPM,% Slot:1984:TVC,% Supowit:1980:HWP% }. \NAMECITE{performance}{% Schmidt:1989:AUP% }. \NAMECITE{periodic}{% Iwano:1987:TCI% }. \NAMECITE{permanent}{% Broder:1986:HHI,% Jerrum:1988:CRM% }. \NAMECITE{Permutation}{% Babai:1987:PGN,% Driscoll:1983:DPG,% Luby:1986:PRP% }. \NAMECITE{permutations}{% Impagliazzo:1989:LPC% }. \NAMECITE{persistent}{% Driscoll:1986:MDS% }. \NAMECITE{{Petri}}{% Mayr:1981:AGP% }. \NAMECITE{planar}{% Bar-Yehuda:1982:AVC,% Buss:1984:PPG,% Frederickson:1987:NAA,% Kao:1989:LRG,% Leiserson:1985:ART,% Miller:1984:FSS,% Storer:1980:NCM,% Suzuki:1985:MFP,% Yannakakis:1986:FPN,% deFraysseix:1988:SSS% }. \NAMECITE{plane}{% Lichtenstein:1980:IGE,% Overmars:1980:DMC% }. \NAMECITE{Planning}{% Fortune:1988:PCM,% Clarkson:1987:AAS,% oDunlaing:1983:RNA% }. \NAMECITE{play}{% Goldreich:1987:HPM,% Goldwasser:1982:PEH% }. \NAMECITE{point}{% Feder:1989:NFP% }. \NAMECITE{poker}{% Goldwasser:1982:PEH% }. \NAMECITE{Polling}{% Reif:1989:PNR% }. \NAMECITE{poly}{% Lueker:1986:LPT% }. \NAMECITE{poly-log}{% Lueker:1986:LPT% }. \NAMECITE{polygon}{% Aggarwal:1987:LTA% }. \NAMECITE{polygons}{% Boyce:1982:FEP,% Tarjan:1986:LTA% }. \NAMECITE{polyhedra}{% Chazelle:1981:CDP% }. \NAMECITE{polyhedral}{% Sharir:1984:SPP% }. \NAMECITE{polymorphic}{% Leivant:1981:CPP% }. \NAMECITE{Polynomial}{% Dolev:1982:PAM,% Friedl:1985:PTS,% Istrail:1988:PUT,% Kannan:1984:PFN,% Adleman:1987:RPR,% Barrington:1986:BWP,% Ben-Or:1986:FPA,% Ben-Or:1988:DAS,% Bertoni:1981:CCF,% Buss:1985:PHF,% Cai:1986:POR,% Cohen:1989:SPT,% Dyer:1989:RPT,% Fellows:1989:SDE,% Filotti:1980:PTA,% Gonnet:1984:DEE,% Immerman:1982:RQC,% Joseph:1981:FPI,% Kaltofen:1982:PRM,% Kanellakis:1983:UID,% Karmarkar:1984:NPT,% Ko:1986:NOW,% Ko:1988:RPT,% Kosaraju:1988:DCD,% Landau:1983:SRP,% Orlin:1988:FSP,% Pitt:1989:MCD,% Tompa:1980:TFT,% Young:1983:SSP,% aufderHeide:1983:PLS% }. \NAMECITE{polynomial-size}{% Barrington:1986:BWP% }. \NAMECITE{polynomial-time}{% Cai:1986:POR,% Cohen:1989:SPT,% Fellows:1989:SDE,% Filotti:1980:PTA,% Karmarkar:1984:NPT,% Ko:1986:NOW% }. \NAMECITE{polynomials}{% Adleman:1986:FIP,% Fich:1985:PCE,% Heintz:1980:TPW,% Huang:1984:FPF,% Kaltofen:1985:CPG,% Kaltofen:1987:SFH,% Lenstra:1983:FMP% }. \NAMECITE{polytopes}{% Dobkin:1986:PCP% }. \NAMECITE{polytypes}{% Chazelle:1987:CCC% }. \NAMECITE{poset}{% Kahn:1984:EPG% }. \NAMECITE{possibility}{% Dolev:1984:PIA% }. \NAMECITE{post}{% Clarkson:1985:PAP% }. \NAMECITE{power}{% Beame:1986:LPC,% Furer:1987:PRC,% Kalyanasundaram:1988:PWP,% Kannan:1983:APN% }. \NAMECITE{powerful}{% Hochbaum:1984:PGP% }. \NAMECITE{Powers}{% Hochbaum:1984:PGP% }. \NAMECITE{{PRAM}}{% Beame:1987:OBD% }. \NAMECITE{{PRAMS}}{% Nisan:1989:CPD% }. \NAMECITE{precision}{% Halpern:1985:OPP% }. \NAMECITE{predicate}{% Goldreich:1989:HCP% }. \NAMECITE{prefix}{% Bilardi:1987:STC,% Fich:1983:NBP% }. \NAMECITE{prehension}{% Baker:1985:SPT% }. \NAMECITE{Preliminary}{% Atallah:1982:GPM,% Duris:1981:FTW,% Fischer:1980:OTL,% Frederickson:1980:GSR,% Galil:1981:TSO,% Gonnet:1981:LPS,% Greenberg:1982:TCB,% Hong:1982:NMN,% Jia-Wei:1981:GAB,% Joseph:1980:IRC,% Joseph:1981:FPI,% Kosaraju:1982:DRV,% Manber:1982:PNA,% Pachl:1982:TPL,% Pippenger:1980:CSP,% Pippenger:1982:PSP,% Rivest:1982:HRS,% Simon:1981:SBP,% Vitanyi:1982:RTS,% Paul:1980:ITA,% Tompa:1980:OSW% }. \NAMECITE{presence}{% Haastad:1987:RHP,% Halpern:1985:OPP,% Kearns:1988:LPM% }. \NAMECITE{presented}{% ACM:1980:CPT,% ACM:1981:CPT% }. \NAMECITE{preserving}{% Koch:1989:WPE% }. \NAMECITE{primality}{% Pintz:1988:TIS% }. \NAMECITE{primes}{% Adleman:1987:RPR,% Goldwasser:1986:AAP,% Huang:1984:FPF,% Pintz:1988:TIS% }. \NAMECITE{Primitives}{% Guibas:1983:PMG% }. \NAMECITE{privacy}{% Chor:1989:ZOL% }. \NAMECITE{Private}{% Goldwasser:1986:PCV% }. \NAMECITE{Probabilistic}{% Fortnow:1989:PCL,% Goldwasser:1982:PEH,% Hart:1984:PTL,% Manber:1982:PNA,% Pippenger:1982:PSP,% Turner:1983:PAB,% Ajtai:1984:TPC,% Bern:1986:TPR,% Clarkson:1985:PAP,% Feidman:1983:DPP,% Feldman:1982:PDL,% Karp:1984:PAM,% Kozen:1983:PP,% Pnueli:1983:EFT,% Reif:1980:LPP,% Ruzzo:1982:SBH,% Simon:1981:SBP,% Upfal:1984:PRB% }. \NAMECITE{probabilities}{% Kolaitis:1987:DPP% }. \NAMECITE{probability}{% Cai:1986:POR% }. \NAMECITE{probe}{% Fiat:1989:IPS,% Fredman:1989:CPC% }. \NAMECITE{Probing}{% Dobkin:1986:PCP,% Gonnet:1981:LPS% }. \NAMECITE{problem}{% Anderson:1985:PAM,% Buss:1987:BFV,% Chandra:1981:EID,% Clarkson:1985:PAP,% Coan:1985:DFS,% Culik:1981:SEP,% Cypher:1980:AKP,% Fich:1981:LBC,% Frederickson:1984:ISC,% Goldberg:1984:FES,% Goldberg:1986:NAM,% Huynh:1985:CEP,% Ibarra:1980:CEP,% Kannan:1980:OPD,% Karp:1984:FPA,% Kolaitis:1987:DPP,% Loebl:1988:LUS,% Luby:1985:SPA,% Mayr:1981:AGP,% Pitt:1989:MCD,% Tompa:1980:OSW,% Vazirani:1985:TPS,% Venkatesan:1988:RIG,% Yao:1981:PCK,% aufderHeide:1983:PLS% }. \NAMECITE{Problems}{% Levin:1984:PCA,% Asano:1982:EDE,% Atallah:1982:GPM,% Awerbuch:1987:ODA,% Beame:1987:OBD,% Berkman:1989:HPP,% Cole:1984:HRP,% Cosmadakis:1988:DOP,% DeMillo:1980:CPE,% Friedl:1985:PTS,% Gabow:1983:ERT,% Gabow:1984:SRT,% Gabow:1988:AOS,% Goldberg:1987:SMC,% Harel:1985:LAF,% Hochbaum:1984:PGP,% JaJa:1980:TST,% Jia-wei:1980:SDS,% Kanellakis:1983:UID,% Kannan:1983:IAI,% Karp:1980:LET,% Karp:1984:PAM,% Krentel:1986:COP,% Manasse:1988:CAL,% MeyeraufderHeide:1985:FAD,% Monien:1981:BCN,% Motwani:1989:EGA,% Muller:1981:PAG,% Orlin:1981:CDL,% Yannakakis:1988:ECO,% Yap:1980:STT,% vonzurGathen:1983:PAA% }. \NAMECITE{procedure}{% Karp:1988:RPB% }. \NAMECITE{procedures}{% Emerson:1982:DPE,% Leivant:1981:CPP,% Olderog:1983:CHL% }. \NAMECITE{Proceedings}{% ACM:1982:PFA,% ACM:1983:PFA,% ACM:1984:PSA,% ACM:1985:PSA,% ACM:1986:PEA,% ACM:1987:PNA,% ACM:1988:PTA,% ACM:1989:PTF,% ACM:1980:CPT,% ACM:1981:CPT% }. \NAMECITE{process}{% Chandra:1981:EBR% }. \NAMECITE{processes}{% Hennessy:1984:MFP,% Lichtenstein:1987:IRS% }. \NAMECITE{processor}{% Atallah:1982:GPM,% Dolev:1982:PAM,% Lloyd:1980:CPS,% Vazirani:1985:TPS% }. \NAMECITE{processors}{% Angluin:1980:LGP,% Cleve:1986:LSC,% Kosaraju:1986:OSB,% Vitanyi:1984:DEA% }. \NAMECITE{program}{% Mirkowska:1980:CAA% }. \NAMECITE{programming}{% Kannan:1983:IAI,% Kapoor:1986:FAC,% Karmarkar:1984:NPT,% Lueker:1986:LPT,% Reif:1980:LPP,% Vaidya:1987:ALP,% Yao:1980:EDP% }. \NAMECITE{programs}{% Aharoni:1985:DIL,% Ajtai:1986:TLB,% Barrington:1986:BWP,% Blum:1989:DPC,% Borodin:1983:BWT,% Cosmadakis:1988:DOP,% Courcoubetis:1986:RAF,% Ibarra:1980:CEP,% Joseph:1981:FPI,% Kaltofen:1985:CPG,% Karp:1985:SDP,% Olderog:1983:CHL,% Vardi:1984:ATT,% Vardi:1985:IUL,% Yannakakis:1988:ECO,% Yap:1980:STT% }. \NAMECITE{progressions}{% Coppersmith:1987:MMA% }. \NAMECITE{projective}{% Lichtenstein:1980:IGE% }. \NAMECITE{Proof}{% Birget:1989:PCR,% Goldwasser:1985:KCI,% Goldwasser:1986:PCV% }. \NAMECITE{proof-systems}{% Goldwasser:1985:KCI% }. \NAMECITE{proofs}{% Ben-Or:1988:MPI,% Fiege:1987:ZKP% }. \NAMECITE{Properties}{% Beeri:1981:PAD,% Venkateswaran:1987:PCL,% Angluin:1980:LGP,% Degano:1984:LPC,% Gerth:1984:TLH,% Hajnal:1988:CCG,% Kaltofen:1986:UCP,% King:1988:LBC,% Kolaitis:1987:DPP,% Mirkowska:1980:CAA,% Young:1983:SSP% }. \NAMECITE{property}{% Jerrum:1988:CRM% }. \NAMECITE{Propositional}{% Streett:1981:PDL,% Feidman:1983:DPP,% Krishnamurthy:1981:EHT,% Sistla:1982:CPL% }. \NAMECITE{protection}{% Goldreich:1987:TTS% }. \NAMECITE{protocol}{% Awerbuch:1984:ENS,% Bracha:1985:ERR% }. \NAMECITE{protocols}{% Babai:1989:MPL,% Chandra:1983:MPP,% Chaum:1988:MUS,% DeMillo:1982:CP,% Haastad:1987:ABP,% Rabin:1989:VSS,% Willard:1984:LLP% }. \NAMECITE{Provable}{% Bruce:1985:PID,% Impagliazzo:1989:LPC% }. \NAMECITE{Provably}{% Raghavan:1985:PGR,% Vallee:1989:PFI,% Coffman:1986:PEA,% Leighton:1982:LSV% }. \NAMECITE{prover}{% Ben-Or:1988:MPI% }. \NAMECITE{Providence}{% ACM:1985:PSA% }. \NAMECITE{proving}{% Pachl:1982:TPL% }. \NAMECITE{Pseudo}{% Impagliazzo:1989:PRG,% Luby:1986:PRP% }. \NAMECITE{Pseudo-random}{% Impagliazzo:1989:PRG,% Luby:1986:PRP% }. \NAMECITE{pseudorandom}{% Allender:1987:SCE,% Babai:1989:MPL,% Karloff:1988:RAP,% Levin:1985:OWF% }. \NAMECITE{{PSPACE}}{% Cai:1986:POR,% Canny:1988:SAG,% Ukkonen:1981:LKT% }. \NAMECITE{{PSPACE}-complete}{% Ukkonen:1981:LKT% }. \NAMECITE{public}{% Adleman:1983:BGK,% Goldwasser:1986:PCV% }. \NAMECITE{purpose}{% Galil:1981:EGP% }. \NAMECITE{Pushdown}{% Muller:1981:PAG,% Duris:1981:FTW,% Engelfriet:1983:IPA,% Ukkonen:1980:DME% }. \NAMECITE{pushdowns}{% Pippenger:1980:CSP% }. \NAMECITE{quadrangle}{% Yao:1980:EDP% }. \NAMECITE{Quadratic}{% Maass:1984:QLB,% Adler:1984:SAW,% Kapoor:1986:FAC,% Ong:1984:ESS,% Vallee:1989:PFI% }. \NAMECITE{Quantifier}{% Ierardi:1989:QET% }. \NAMECITE{quasi}{% Vallee:1989:PFI,% Vazirani:1985:TSC% }. \NAMECITE{quasi-random}{% Vazirani:1985:TSC% }. \NAMECITE{quasi-uniform}{% Vallee:1989:PFI% }. \NAMECITE{queries}{% Afrati:1989:ERR,% Immerman:1982:RQC,% Vaidya:1985:STT,% Yao:1982:STT,% Yao:1985:GAD% }. \NAMECITE{query}{% Vardi:1982:CRQ% }. \NAMECITE{quickly}{% Goldwasser:1986:AAP% }. \NAMECITE{{R}}{% Vazirani:1985:TPS% }. \NAMECITE{{R-NC}}{% Vazirani:1985:TPS% }. \NAMECITE{{R.}}{% Birget:1989:PCR% }. \NAMECITE{radicals}{% Landau:1983:SRP% }. \NAMECITE{radio}{% Alon:1989:CRC% }. \NAMECITE{{RAM}}{% Cook:1982:BTP% }. \NAMECITE{{Ramanujan}}{% Lubotzky:1986:EER% }. \NAMECITE{{RAMs}}{% Goldreich:1987:TTS% }. \NAMECITE{Random}{% Reif:1980:RM,% Venkatesan:1988:RIG,% Adleman:1987:RPR,% Aggarwal:1987:RNA,% Bach:1983:HGR,% Bollobas:1985:AFH,% Broder:1986:HHI,% Cai:1986:POR,% Clarkson:1986:FAR,% Dyer:1989:RPT,% Friedman:1989:SER,% Gonnet:1984:DEE,% Impagliazzo:1989:PRG,% Karp:1985:CPM,% Kurtz:1982:ROH,% Kurtz:1989:ICF,% Lichtenstein:1987:IRS,% Luby:1986:PRP,% Myers:1983:RAH,% Shelah:1987:TSR,% Vazirani:1985:TSC,% Vazirani:1987:ECU,% Bertoni:1981:CCF% }. \NAMECITE{Randomized}{% Awerbuch:1989:RDS,% Karloff:1988:RAP,% Vishkin:1984:RSU,% Bach:1987:RAS,% Bracha:1985:ERR,% Karp:1988:RPB,% Reif:1989:PNR% }. \NAMECITE{randomness}{% Babai:1985:TGT,% Furer:1987:PRC,% Krizanc:1988:TRT,% Sipser:1983:CTA% }. \NAMECITE{range}{% Vaidya:1985:STT,% Yao:1982:STT% }. \NAMECITE{rank}{% Mulmuley:1986:FPA% }. \NAMECITE{ranking}{% Frederickson:1980:GSR,% Goldberg:1985:CR% }. \NAMECITE{rapid}{% Jerrum:1988:CRM% }. \NAMECITE{reachability}{% Kosaraju:1982:DRV,% Mayr:1981:AGP,% Muller:1981:PAG% }. \NAMECITE{reaching}{% Graham:1989:IRB% }. \NAMECITE{Real}{% Vitanyi:1982:RTS,% Ben-Or:1986:FPA,% Gacs:1985:STD,% Reif:1981:DAS,% Ukkonen:1980:DME% }. \NAMECITE{Real-time}{% Vitanyi:1982:RTS,% Gacs:1985:STD% }. \NAMECITE{Realistic}{% Bach:1987:RAS% }. \NAMECITE{reason}{% Gerth:1984:TLH,% Halpern:1983:LRA% }. \NAMECITE{Reasoning}{% Courcoubetis:1986:RAF,% Halpern:1988:RAK,% Halpern:1986:CRA% }. \NAMECITE{recognize}{% Barrington:1986:BWP% }. \NAMECITE{Recognizing}{% Adleman:1987:RPR% }. \NAMECITE{Reconfiguring}{% Haastad:1987:RHP% }. \NAMECITE{reconnaissables}{% Nivat:1982:ERM% }. \NAMECITE{rectangles}{% Dolev:1981:OWB,% Franzblau:1984:ACR,% Guibas:1980:TSR% }. \NAMECITE{rectilinear}{% Bern:1986:TPR% }. \NAMECITE{recursive}{% Afrati:1989:ERR% }. \NAMECITE{red}{% Jia-Wei:1981:CRB% }. \NAMECITE{red-blue}{% Jia-Wei:1981:CRB% }. \NAMECITE{reducibilities}{% Young:1983:SSP% }. \NAMECITE{reduction}{% Gabow:1983:ERT,% Kaltofen:1982:PRM% }. \NAMECITE{regions}{% Franzblau:1984:ACR% }. \NAMECITE{registers}{% Cleve:1988:CAF% }. \NAMECITE{regular}{% Chandra:1981:EBR,% Friedman:1989:SER,% Parisi-Presicce:1981:FRE,% Raghavan:1985:PGR% }. \NAMECITE{related}{% Awerbuch:1987:ODA,% Chazelle:1981:MCV,% Cole:1984:HRP,% DeMillo:1980:CPE,% Gabow:1984:SRT,% Gabow:1988:AOS,% Haastad:1985:CST,% Harel:1985:LAF,% Kannan:1983:IAI,% Motwani:1989:EGA% }. \NAMECITE{relation}{% Upfal:1984:PRB% }. \NAMECITE{Relational}{% Immerman:1982:RQC,% Sadri:1980:CAL,% Vardi:1982:CRQ% }. \NAMECITE{relationship}{% Aharoni:1985:DIL% }. \NAMECITE{relative}{% Kurtz:1989:ICF% }. \NAMECITE{Relativized}{% Ko:1988:RPT% }. \NAMECITE{Reliable}{% Gacs:1983:RCC% }. \NAMECITE{remove}{% Ben-Or:1988:MPI% }. \NAMECITE{reorientation}{% Kao:1989:LRG% }. \NAMECITE{repeated}{% Chew:1981:UNF% }. \NAMECITE{Report}{% Galil:1981:TSO% }. \NAMECITE{representation}{% Goodman:1989:CRO,% Kannan:1988:IRG% }. \NAMECITE{require}{% Gurevich:1988:NLT,% Karchmer:1988:MCC% }. \NAMECITE{requires}{% Bent:1985:FMR,% Goodman:1989:CRO,% Vaidya:1987:ALP% }. \NAMECITE{residues}{% Vallee:1989:PFI% }. \NAMECITE{resistance}{% Chandra:1989:ERG% }. \NAMECITE{resolved}{% Jerrum:1988:CRM% }. \NAMECITE{resolving}{% Willard:1984:LLP% }. \NAMECITE{resource}{% Lloyd:1980:CPS% }. \NAMECITE{resources}{% Lynch:1980:FAN% }. \NAMECITE{respect}{% Alt:1984:CAF% }. \NAMECITE{restricted}{% Afrati:1989:ERR,% Klawe:1984:MFR,% Valiant:1983:ELB% }. \NAMECITE{restrictions}{% MeyeraufderHeide:1985:FAD% }. \NAMECITE{result}{% Harel:1984:GRI% }. \NAMECITE{results}{% Bentley:1984:SUE,% Bern:1986:TPR,% Chazelle:1981:MCV,% Joseph:1980:IRC% }. \NAMECITE{Retraction}{% oDunlaing:1983:RNA% }. \NAMECITE{reuse}{% Rivest:1982:HRS% }. \NAMECITE{Reversal}{% Chan:1981:RCC% }. \NAMECITE{rewriting}{% Chew:1981:UNF% }. \NAMECITE{Rhode}{% ACM:1985:PSA% }. \NAMECITE{Riemann}{% Bach:1982:FAU,% Huang:1985:RHF% }. \NAMECITE{ring}{% Frederickson:1984:ISC,% Vitanyi:1984:DEA% }. \NAMECITE{roots}{% Ben-Or:1986:FPA,% Huang:1985:RHF% }. \NAMECITE{Rotation}{% Sleator:1986:RDT% }. \NAMECITE{rounds}{% Alon:1985:ESR,% Bracha:1985:ERR% }. \NAMECITE{routability}{% Leiserson:1985:ART% }. \NAMECITE{Routing}{% Borodin:1982:RMS,% Awerbuch:1989:CDD,% Baker:1983:AAM,% Dolev:1984:NLF,% Krizanc:1988:TRT,% Leiserson:1985:ART,% Mirzaian:1984:CRV,% Peleg:1988:TBS,% Raghavan:1985:PGR,% Tompa:1980:OSW,% Upfal:1989:DPR% }. \NAMECITE{routings}{% Broder:1984:EFT,% Feldman:1985:FTM% }. \NAMECITE{{RSA}}{% Ben-Or:1983:CSS% }. \NAMECITE{rules}{% Sleator:1984:AEL% }. \NAMECITE{sampling}{% Clarkson:1986:FAR,% Reif:1989:PNR% }. \NAMECITE{San}{% ACM:1982:PFA% }. \NAMECITE{Scaling}{% Gabow:1984:SRT% }. \NAMECITE{scheduling}{% Lloyd:1980:CPS,% Vazirani:1985:TPS% }. \NAMECITE{schematology}{% Pippenger:1980:CSP% }. \NAMECITE{scheme}{% Ong:1984:ESS,% Upfal:1989:DPR% }. \NAMECITE{schemes}{% Beeri:1981:PAD,% Goldwasser:1983:SSS,% Greenberg:1982:TCB,% Mirkowska:1980:CAA,% Valiant:1981:USP% }. \NAMECITE{{Science}}{% Joseph:1980:IRC% }. \NAMECITE{search}{% Aggarwal:1987:RNA,% Aggarwal:1989:PDF,% Chung:1985:SOS,% Culberson:1985:EUB,% Fellows:1989:SDE,% Fiat:1989:IPS,% Karp:1985:SDP,% Kosaraju:1981:LSS,% aufderHeide:1983:PLS% }. \NAMECITE{searches}{% Carter:1985:CBS% }. \NAMECITE{Searching}{% Munro:1987:STK,% Fiat:1988:SSM% }. \NAMECITE{Seattle}{% ACM:1989:PTF% }. \NAMECITE{second}{% Friedman:1989:SER,% Muller:1981:PAG% }. \NAMECITE{second-order}{% Muller:1981:PAG% }. \NAMECITE{secrecy}{% Orlitsky:1984:CSC% }. \NAMECITE{secret}{% Blum:1983:HES,% Goldwasser:1982:PEH,% Rabin:1989:VSS% }. \NAMECITE{secure}{% Chaum:1988:MUS% }. \NAMECITE{security}{% Ben-Or:1983:CSS,% Cleve:1986:LSC,% Haastad:1985:CST% }. \NAMECITE{segments}{% Joseph:1981:FPI% }. \NAMECITE{selection}{% Ajtai:1986:DSL,% Cunto:1984:ACS,% Frederickson:1980:GSR% }. \NAMECITE{Self}{% Chung:1985:SOS,% Sleator:1983:SAB% }. \NAMECITE{Self-adjusting}{% Sleator:1983:SAB% }. \NAMECITE{Self-organizing}{% Chung:1985:SOS% }. \NAMECITE{semantics}{% Bakker:1985:TSI,% Fagin:1985:ISM,% deBakker:1982:DSC,% deBakker:1985:TSI% }. \NAMECITE{semaphore}{% Willard:1984:LLP% }. \NAMECITE{semi}{% Vazirani:1987:ECU% }. \NAMECITE{semi-random}{% Vazirani:1987:ECU% }. \NAMECITE{semigroups}{% Huynh:1985:CEP% }. \NAMECITE{separates}{% Cai:1986:POR% }. \NAMECITE{separations}{% Boppana:1989:OSB% }. \NAMECITE{separators}{% Galil:1986:NSP,% Miller:1984:FSS% }. \NAMECITE{sequence}{% Culik:1981:SEP% }. \NAMECITE{sequences}{% Babai:1989:MPL,% Borodin:1989:LBL,% Istrail:1988:PUT,% Rivest:1989:IFA,% Vazirani:1985:TSC% }. \NAMECITE{sequential}{% Beame:1989:GST,% Borodin:1980:TST,% Chung:1985:SOS,% Willard:1982:MDS% }. \NAMECITE{serial}{% Landau:1986:IEP% }. \NAMECITE{set}{% Blumer:1984:BCI,% Bollobas:1985:EBD,% Gabow:1983:LTA,% Guibas:1980:TSR,% Karp:1984:FPA,% Loebl:1988:LUS,% Luby:1985:SPA% }. \NAMECITE{sets}{% Franzblau:1984:ACR,% Hartmanis:1983:SSN,% Pintz:1988:TIS,% Sipser:1983:BSC,% Young:1983:SSP,% deFraysseix:1988:SSS% }. \NAMECITE{seventeenth}{% ACM:1985:PSA% }. \NAMECITE{shared}{% Karlin:1986:PHE% }. \NAMECITE{sharing}{% Rabin:1989:VSS% }. \NAMECITE{shortest}{% Awerbuch:1989:RDS,% Bloniarz:1980:SPA,% Clarkson:1987:AAS,% Frederickson:1987:NAA,% Sharir:1984:SPP,% Suzuki:1985:MFP% }. \NAMECITE{shortest-path}{% Bloniarz:1980:SPA% }. \NAMECITE{shuffle}{% Kleitman:1981:NLS% }. \NAMECITE{shuffle-exchange}{% Kleitman:1981:NLS% }. \NAMECITE{shuffled}{% Iwama:1983:UDS% }. \NAMECITE{sign}{% Bellare:1988:HSG% }. \NAMECITE{signature}{% Carter:1982:TST,% Goldwasser:1983:SSS,% Ong:1984:ESS% }. \NAMECITE{Simple}{% Ronyai:1987:SAD,% Cook:1982:BTP,% Gacs:1985:STD,% Luby:1985:SPA,% Miller:1984:FSS,% Tarjan:1986:LTA% }. \NAMECITE{simplex}{% Adler:1984:SAW% }. \NAMECITE{simulation}{% Ajtai:1987:DSL,% Goldreich:1987:TTS,% Vitanyi:1982:RTS% }. \NAMECITE{simulations}{% Bhatt:1988:OSB,% Galil:1986:NSP,% Kosaraju:1986:OSB,% Pippenger:1982:PSP% }. \NAMECITE{Single}{% Kaltofen:1987:SFH,% Ben-Or:1983:CSS,% Munro:1987:STK% }. \NAMECITE{Single-factor}{% Kaltofen:1987:SFH% }. \NAMECITE{sixteenth}{% ACM:1984:PSA% }. \NAMECITE{Size}{% Bilardi:1987:STC,% Barrington:1986:BWP,% Reif:1983:LTS,% Reif:1989:OSI% }. \NAMECITE{Size-time}{% Bilardi:1987:STC% }. \NAMECITE{slightly}{% Vazirani:1985:TSC% }. \NAMECITE{slightly-random}{% Vazirani:1985:TSC% }. \NAMECITE{Small}{% deFraysseix:1988:SSS,% Haastad:1986:AOL,% Miller:1984:FSS,% Vallee:1989:PFI% }. \NAMECITE{smaller}{% Adler:1984:SAW% }. \NAMECITE{smoothness}{% Adleman:1988:USA% }. \NAMECITE{software}{% Goldreich:1987:TTS% }. \NAMECITE{solution}{% Goldberg:1984:FES,% Pan:1985:EPS,% Tompa:1980:OSW% }. \NAMECITE{solutions}{% Frederickson:1984:DSL,% Friedl:1985:PTS,% Valiant:1985:NED% }. \NAMECITE{Solvability}{% Landau:1983:SRP% }. \NAMECITE{Solving}{% Goldberg:1987:SMC% }. \NAMECITE{Some}{% Allender:1987:SCE,% Bentley:1984:SUE,% Canny:1988:SAG,% Karp:1980:SCB,% Young:1983:SSP,% Bach:1987:RAS,% Friedl:1985:PTS,% JaJa:1980:TST,% Jia-wei:1980:SDS,% Kannan:1984:PFN,% Papadimitriou:1982:CFS,% Ukkonen:1980:DME% }. \NAMECITE{sort}{% Gonnet:1981:LPS,% Reif:1983:LTS% }. \NAMECITE{sorted}{% Kosaraju:1981:LSS% }. \NAMECITE{sorting}{% Ajtai:1983:SN,% Alon:1985:ESR,% Bilardi:1984:MAV,% Borodin:1980:TST,% Borodin:1982:RMS,% Chaselle:1984:IET,% Leighton:1984:TBC,% Schnorr:1986:OSA% }. \NAMECITE{sources}{% Lichtenstein:1987:IRS,% Vazirani:1985:TSC,% Vazirani:1987:ECU% }. \NAMECITE{Space}{% Ruzzo:1982:SBH,% Simon:1981:SBP,% Vaidya:1985:STT,% Yao:1982:STT,% Yap:1980:STT,% Beame:1989:GST,% Borodin:1980:TST,% Broder:1989:TST,% Chazelle:1989:LSC,% Galil:1981:TSO,% Gurevich:1988:NLT,% JaJa:1980:TST,% Jia-wei:1980:SDS,% Lam:1989:TBC,% Peleg:1988:TBS,% Slot:1984:TVC,% Tompa:1980:TFT,% Yao:1983:SPA% }. \NAMECITE{Space-bounded}{% Ruzzo:1982:SBH,% Simon:1981:SBP% }. \NAMECITE{space-combinators}{% Chazelle:1989:LSC% }. \NAMECITE{Space-time}{% Vaidya:1985:STT,% Yao:1982:STT,% Yap:1980:STT% }. \NAMECITE{spaces}{% Degano:1984:LPC,% Sharir:1984:SPP% }. \NAMECITE{spanning}{% Awerbuch:1987:ODA,% Clarkson:1984:FET,% Frederickson:1983:DSL,% Post:1984:MSE% }. \NAMECITE{Sparse}{% Hartmanis:1983:SSN,% Ben-Or:1988:DAS,% Goldberg:1987:PSB% }. \NAMECITE{special}{% Gabow:1983:LTA% }. \NAMECITE{specifications}{% Barringer:1984:NYM,% Ehrig:1980:CIL% }. \NAMECITE{spectra}{% Shelah:1987:TSR% }. \NAMECITE{speed}{% Gabow:1988:AOS,% Vishkin:1984:RSU% }. \NAMECITE{speed-ups}{% Gabow:1988:AOS,% Vishkin:1984:RSU% }. \NAMECITE{Speedups}{% Dymond:1983:SDM% }. \NAMECITE{squad}{% Coan:1985:DFS% }. \NAMECITE{stability}{% Goodman:1985:SE% }. \NAMECITE{Stable}{% Baker:1985:SPT,% Feder:1989:NFP% }. \NAMECITE{stamp}{% Dolev:1989:BCT% }. \NAMECITE{{Steiner}}{% Bern:1986:TPR% }. \NAMECITE{steps}{% Adler:1984:SAW% }. \NAMECITE{storage}{% Brown:1980:KSA,% Coffman:1986:PEA,% Goodman:1989:CRO% }. \NAMECITE{store}{% Duris:1981:FTW% }. \NAMECITE{Storing}{% Fiat:1988:SSM% }. \NAMECITE{straight}{% Ibarra:1980:CEP,% Kaltofen:1985:CPG,% Kaltofen:1987:SFH% }. \NAMECITE{straight-line}{% Ibarra:1980:CEP,% Kaltofen:1985:CPG,% Kaltofen:1987:SFH% }. \NAMECITE{straightness}{% Kim:1981:DSC% }. \NAMECITE{strategy}{% Leighton:1982:LSV% }. \NAMECITE{string}{% Galil:1981:TSO,% Galil:1984:OPA,% Landau:1986:IEP% }. \NAMECITE{strings}{% Iwama:1983:UDS% }. \NAMECITE{Strong}{% Goldwasser:1983:SSS,% Hemachandra:1987:SEH,% Vazirani:1985:TSC% }. \NAMECITE{Strongly}{% Cohen:1989:SPT,% Orlin:1988:FSP% }. \NAMECITE{structural}{% Young:1983:SSP% }. \NAMECITE{structure}{% Barrington:1987:FMF,% Iwano:1987:TCI,% Sleator:1981:DSD% }. \NAMECITE{structures}{% Awerbuch:1989:CDD,% Driscoll:1986:MDS,% Frederickson:1983:DSL,% Frederickson:1984:DSL,% Fredman:1989:CPC,% deRougemont:1984:UDF% }. \NAMECITE{subdivisions}{% Guibas:1983:PMG% }. \NAMECITE{subgraph}{% Gabow:1983:ERT% }. \NAMECITE{sublinear}{% Gurevich:1988:NLT,% Tompa:1980:TFT% }. \NAMECITE{subpolynomial}{% Aggarwal:1985:TVM% }. \NAMECITE{substantially}{% Gurevich:1988:NLT% }. \NAMECITE{successive}{% Goldberg:1987:SMC% }. \NAMECITE{successor}{% deRougemont:1984:UDF% }. \NAMECITE{sufficient}{% Yannakakis:1986:FPN% }. \NAMECITE{sum}{% Bshouty:1989:EDS% }. \NAMECITE{Sums}{% Bach:1984:SDP,% Gabow:1988:FFG% }. \NAMECITE{super}{% Karchmer:1988:MCC% }. \NAMECITE{super-logarithmic}{% Karchmer:1988:MCC% }. \NAMECITE{Superconcentrators}{% Dolev:1983:SGG,% Alon:1985:ESR% }. \NAMECITE{supporting}{% deFraysseix:1988:SSS% }. \NAMECITE{sweeping}{% Edelsbrunner:1986:TSA% }. \NAMECITE{switching}{% Toueg:1980:DLF% }. \NAMECITE{Symmetric}{% Reif:1982:SC,% Huynh:1985:CEP% }. \NAMECITE{symmetry}{% Goldberg:1987:PSB% }. \NAMECITE{symmetry-breaking}{% Goldberg:1987:PSB% }. \NAMECITE{Symposium}{% ACM:1980:CPT,% ACM:1981:CPT,% ACM:1982:PFA,% ACM:1983:PFA,% ACM:1984:PSA,% ACM:1985:PSA,% ACM:1986:PEA,% ACM:1987:PNA,% ACM:1988:PTA,% ACM:1989:PTF% }. \NAMECITE{synchronization}{% Awerbuch:1984:ENS,% Dolev:1984:PIA% }. \NAMECITE{synchronizing}{% Reif:1981:DAS% }. \NAMECITE{synchronous}{% Arjomandi:1981:DEB,% Dymond:1983:SDM,% Frederickson:1984:ISC% }. \NAMECITE{system}{% Lynch:1980:FAN% }. \NAMECITE{systems}{% Arjomandi:1981:DEB,% Bakker:1985:TSI,% Borodin:1987:OOA,% Chew:1981:UNF,% Culik:1981:SEP,% Dolev:1989:BCT,% Goldwasser:1985:KCI,% Goldwasser:1986:PCV,% Halpern:1988:RAK,% Huynh:1985:CEP,% Kosaraju:1982:DRV,% Lloyd:1980:CPS,% Pan:1985:EPS,% deBakker:1985:TSI% }. \NAMECITE{table}{% Fiat:1988:SSM,% Munro:1987:STK% }. \NAMECITE{tables}{% Peleg:1988:TBS% }. \NAMECITE{tape}{% Galil:1986:NSP,% Maass:1984:QLB,% Slot:1984:TVC,% Vitanyi:1982:RTS% }. \NAMECITE{tapes}{% Duris:1982:TTB,% Maass:1987:TTB% }. \NAMECITE{task}{% Borodin:1987:OOA,% Lloyd:1980:CPS% }. \NAMECITE{tasks}{% Gurevich:1988:NLT% }. \NAMECITE{tautologies}{% Krishnamurthy:1981:EHT% }. \NAMECITE{technique}{% Gabow:1983:ERT,% Hochbaum:1984:PGP,% Pachl:1982:TPL,% Reif:1989:PNR% }. \NAMECITE{techniques}{% Cole:1986:DCT,% Gabow:1984:SRT,% Vardi:1984:ATT% }. \NAMECITE{temporal}{% Barringer:1984:NYM,% Emerson:1982:DPE,% Gerth:1984:TLH,% Hart:1984:PTL,% Safra:1989:ATL,% Sistla:1982:CPL% }. \NAMECITE{term}{% Chew:1981:UNF% }. \NAMECITE{terms}{% Chandra:1981:EBR% }. \NAMECITE{test}{% Dolev:1988:TNA% }. \NAMECITE{Testing}{% Heintz:1980:TPW,% Hoffmann:1980:TIC,% Iwano:1987:TCI,% Carter:1982:TST,% Leiserson:1985:ART,% Miller:1980:ITG,% Ukkonen:1981:LKT% }. \NAMECITE{tests}{% Pintz:1988:TIS% }. \NAMECITE{text}{% Blumer:1984:BCI% }. \NAMECITE{their}{% Aharoni:1985:DIL,% Blum:1989:DPC,% Chandra:1981:EID,% Naor:1989:UOW% }. \NAMECITE{theorem}{% Ajtai:1984:TPC% }. \NAMECITE{theorems}{% Ben-Or:1988:CTN% }. \NAMECITE{theoretic}{% Paul:1980:ITA,% Sipser:1983:CTA,% Vardi:1984:ATT% }. \NAMECITE{theories}{% Cosmadakis:1985:ETD% }. \NAMECITE{Theory}{% ACM:1980:CPT,% ACM:1981:CPT,% ACM:1982:PFA,% ACM:1983:PFA,% ACM:1984:PSA,% ACM:1985:PSA,% ACM:1986:PEA,% ACM:1987:PNA,% ACM:1988:PTA,% ACM:1989:PTF,% Babai:1985:TGT,% Ben-David:1989:TAC,% Carter:1982:TST,% DeMillo:1980:CPE,% Goldreich:1987:TTS,% Ierardi:1989:QET,% Plaisted:1980:DIF,% Smolensky:1987:AMT,% Valiant:1984:TL,% Vazirani:1985:TSC% }. \NAMECITE{Thirteenth}{% ACM:1981:CPT% }. \NAMECITE{those}{% Barrington:1986:BWP% }. \NAMECITE{three}{% Baker:1985:SPT,% Fich:1985:OTT,% Gacs:1985:STD% }. \NAMECITE{three-dimensional}{% Gacs:1985:STD% }. \NAMECITE{Threshold}{% Boppana:1984:TFB,% Shelah:1987:TSR% }. \NAMECITE{Tight}{% Leighton:1984:TBC,% Leighton:1986:TBM,% Furer:1982:TDT% }. \NAMECITE{Time}{% Galil:1981:TSO,% JaJa:1980:TST,% Adleman:1987:RPR,% Aggarwal:1987:LTA,% Ajtai:1986:DSL,% Awerbuch:1984:FEC,% Beame:1989:GST,% Bertoni:1981:CCF,% Bilardi:1984:MAV,% Bilardi:1987:STC,% Bloniarz:1980:SPA,% Blumer:1984:BCI,% Borodin:1980:TST,% Broder:1989:TST,% Cai:1986:POR,% Clarkson:1984:FET,% Cohen:1989:SPT,% Cook:1982:BTP,% Dolev:1989:BCT,% Dyer:1989:RPT,% Emerson:1982:DPE,% Emerson:1984:DBT,% Fellows:1989:SDE,% Filotti:1980:PTA,% Fortnow:1989:PCL,% Friedl:1985:PTS,% Furer:1982:TDT,% Gabow:1983:LTA,% Gacs:1985:STD,% Gonnet:1984:DEE,% Greenberg:1982:TCB,% Gurevich:1988:NLT,% Halpern:1986:CRA,% Halpern:1988:RAK,% Immerman:1982:RQC,% Iwama:1983:UDS,% Joseph:1981:FPI,% Kanellakis:1983:UID,% Karmarkar:1984:NPT,% Karp:1980:LET,% Ko:1986:NOW,% Ko:1988:RPT,% Kosaraju:1988:DCD,% Krizanc:1988:TRT,% Landau:1983:SRP,% Lueker:1986:LPT,% Paul:1980:ITA,% Reif:1981:DAS,% Reif:1983:LTS,% Spinrad:1983:TON,% Tarjan:1986:LTA,% Tompa:1980:TFT,% Ukkonen:1980:DME,% Vaidya:1985:STT,% Vitanyi:1982:RTS,% Yao:1982:STT,% Yap:1980:STT% }. \NAMECITE{time-multiplexed}{% Iwama:1983:UDS% }. \NAMECITE{time-randomness}{% Krizanc:1988:TRT% }. \NAMECITE{Time-space}{% JaJa:1980:TST,% Beame:1989:GST,% Borodin:1980:TST% }. \NAMECITE{Time-space-optimal}{% Galil:1981:TSO% }. \NAMECITE{time-stamp}{% Dolev:1989:BCT% }. \NAMECITE{times}{% Chandra:1989:ERG% }. \NAMECITE{tolerance}{% Dwork:1986:FTN,% Feldman:1985:FTM% }. \NAMECITE{tolerant}{% Ben-Or:1988:CTN,% Berman:1988:IFT,% Broder:1984:EFT,% Dolev:1984:NLF% }. \NAMECITE{Topological}{% Stout:1983:TM% }. \NAMECITE{Topologically}{% Edelsbrunner:1986:TSA% }. \NAMECITE{topology}{% Kao:1989:LRG% }. \NAMECITE{tossing}{% Cole:1986:DCT% }. \NAMECITE{tradeoff}{% Beame:1989:GST,% Blum:1984:AME,% Borodin:1980:TST,% Krizanc:1988:TRT,% Peleg:1988:TBS,% Yao:1982:STT% }. \NAMECITE{Tradeoffs}{% Aggarwal:1985:TVM,% Lam:1989:TBC,% JaJa:1980:TST,% Vaidya:1985:STT,% Yap:1980:STT% }. \NAMECITE{Trading}{% Babai:1985:TGT,% Broder:1989:TST% }. \NAMECITE{transcendental}{% Kannan:1984:PFN% }. \NAMECITE{transfer}{% Aho:1983:NIT,% Kilian:1988:FCO% }. \NAMECITE{transformations}{% Jimbo:1985:EOA% }. \NAMECITE{Transition}{% Bakker:1985:TSI,% Gerth:1984:TLH,% deBakker:1985:TSI% }. \NAMECITE{Transitive}{% Spinrad:1983:TON,% Tompa:1980:TFT% }. \NAMECITE{translating}{% Guibas:1980:TSR% }. \NAMECITE{trapdoor}{% Bellare:1988:HSG% }. \NAMECITE{traversal}{% Borodin:1989:LBL% }. \NAMECITE{traversing}{% Istrail:1988:PUT% }. \NAMECITE{treatment}{% Iwama:1983:UDS,% Pnueli:1983:EFT% }. \NAMECITE{tree}{% Awerbuch:1987:ODA,% Bhatt:1982:HAT,% Fischer:1980:OTL% }. \NAMECITE{Trees}{% Gurevich:1982:TAG,% Ben-Or:1983:LBA,% Bern:1986:TPR,% Clarkson:1984:FET,% Culberson:1985:EUB,% Frederickson:1983:DSL,% Harel:1984:GRI,% Hawrusik:1981:CFC,% Jia-Wei:1981:GAB,% King:1981:MPA,% Manber:1982:PNA,% Nisan:1989:CPD,% Paterson:1981:BME,% Sleator:1981:DSD,% Sleator:1983:SAB% }. \NAMECITE{triangulating}{% Tarjan:1986:LTA% }. \NAMECITE{triangulations}{% Sleator:1986:RDT% }. \NAMECITE{triconnectivity}{% Miller:1987:NGT% }. \NAMECITE{trivalent}{% Furer:1983:NFT% }. \NAMECITE{truncated}{% Haastad:1985:CST% }. \NAMECITE{{Turing}}{% Galil:1986:NSP,% Inoue:1982:TDA,% Maass:1984:QLB,% Maass:1987:TTB,% Simon:1981:SBP,% Vitanyi:1982:RTS% }. \NAMECITE{twelfth}{% ACM:1980:CPT% }. \NAMECITE{twentieth}{% ACM:1988:PTA% }. \NAMECITE{twenty}{% ACM:1989:PTF% }. \NAMECITE{twenty-first}{% ACM:1989:PTF% }. \NAMECITE{Two}{% Ajtai:1986:TLB,% Bern:1986:TPR,% Dietz:1987:TAM,% Duris:1982:TTB,% Duris:1983:TNL,% Inoue:1982:TDA,% Maass:1987:TTB,% Pintz:1988:TIS,% Tompa:1980:TFT,% Adler:1984:SAW,% Borodin:1983:BWT,% Duris:1981:FTW,% Fich:1985:OTT,% Lueker:1986:LPT,% Munro:1987:STK,% Vazirani:1985:TPS,% Vazirani:1985:TSC% }. \NAMECITE{Two-dimensional}{% Inoue:1982:TDA% }. \NAMECITE{two-processor}{% Vazirani:1985:TPS% }. \NAMECITE{two-way}{% Duris:1981:FTW% }. \NAMECITE{typed}{% Bruce:1985:PID% }. \NAMECITE{types}{% Goodman:1989:CRO% }. \NAMECITE{Unary}{% Kanellakis:1983:UID% }. \NAMECITE{Unbounded}{% Chandra:1983:UFC% }. \NAMECITE{uncertainty}{% Halpern:1985:OPP% }. \NAMECITE{unconditionally}{% Chaum:1988:MUS% }. \NAMECITE{undirected}{% Broder:1989:TST,% Suzuki:1985:MFP% }. \NAMECITE{unexpected}{% Bentley:1984:SUE% }. \NAMECITE{Uniform}{% Kaltofen:1986:UCP,% deRougemont:1984:UDF,% Bakker:1985:TSI,% Karp:1980:SCB,% Vallee:1989:PFI,% deBakker:1985:TSI% }. \NAMECITE{union}{% Bollobas:1985:EBD,% Gabow:1983:LTA,% Loebl:1988:LUS% }. \NAMECITE{Unique}{% Chew:1981:UNF,% Iwama:1983:UDS,% Beame:1989:GST,% Valiant:1985:NED% }. \NAMECITE{Universal}{% Naor:1989:UOW,% Valiant:1981:USP,% Borodin:1989:LBL,% Istrail:1988:PUT% }. \NAMECITE{university}{% Schmidt:1989:AUP% }. \NAMECITE{unprovability}{% Loebl:1988:LUS% }. \NAMECITE{update}{% Sleator:1984:AEL% }. \NAMECITE{updates}{% Culberson:1985:EUB% }. \NAMECITE{updating}{% Frederickson:1983:DSL,% Frederickson:1984:DSL% }. \NAMECITE{upper}{% Vardi:1985:IUL% }. \NAMECITE{ups}{% Gabow:1988:AOS,% Vishkin:1984:RSU% }. \NAMECITE{Using}{% Adleman:1988:USA,% Haastad:1989:FCU,% Rivest:1989:IFA,% Vazirani:1987:ECU,% Yao:1980:EDP% }. \NAMECITE{valence}{% Furer:1983:NFT% }. \NAMECITE{value}{% Buss:1987:BFV% }. \NAMECITE{{Vapnik}}{% Blumer:1986:CLG% }. \NAMECITE{variables}{% Chew:1981:UNF,% Haastad:1985:CST,% Lueker:1986:LPT% }. \NAMECITE{Vector}{% Strong:1980:VEF,% Huynh:1985:CEP,% Kosaraju:1982:DRV% }. \NAMECITE{{Vegas}}{% Mehlhorn:1982:VBT% }. \NAMECITE{Verifiable}{% Rabin:1989:VSS% }. \NAMECITE{Verifying}{% Kenyon-Mathieu:1989:VPO% }. \NAMECITE{Version}{% Atallah:1982:GPM,% Duris:1981:FTW,% Fischer:1980:OTL,% Frederickson:1980:GSR,% Greenberg:1982:TCB,% Hong:1982:NMN,% Jia-Wei:1981:GAB,% Joseph:1980:IRC,% Kosaraju:1982:DRV,% Manber:1982:PNA,% Pachl:1982:TPL,% Pippenger:1980:CSP,% Pippenger:1982:PSP,% Rivest:1982:HRS,% Simon:1981:SBP,% Paul:1980:ITA,% Tompa:1980:OSW% }. \NAMECITE{versus}{% Goldwasser:1986:PCV,% Hartmanis:1983:SSN,% Slot:1984:TVC% }. \NAMECITE{vertex}{% Bar-Yehuda:1982:AVC% }. \NAMECITE{via}{% Coppersmith:1987:MMA% }. \NAMECITE{Virtual}{% Aggarwal:1988:VMA% }. \NAMECITE{{VLSI}}{% Aggarwal:1985:TVM,% Aggarwal:1988:ECV,% Aho:1983:NIT,% Bilardi:1984:MAV,% Blum:1984:AME,% Carter:1982:TST,% Chazelle:1981:MCV,% Kissin:1982:MEC,% Leighton:1982:LSV,% Leiserson:1985:ART,% Lipton:1981:LBV,% Mehlhorn:1982:VBT,% Mirzaian:1984:CRV,% Siegel:1986:AIF,% Yao:1981:ELV% }. \NAMECITE{volume}{% Dyer:1989:RPT,% Furedi:1986:CVD% }. \NAMECITE{{Voronoi}}{% Aggarwal:1987:LTA,% Guibas:1983:PMG% }. \NAMECITE{Washington}{% ACM:1984:PSA,% ACM:1989:PTF% }. \NAMECITE{way}{% Duris:1981:FTW,% Gerth:1984:TLH,% Goldreich:1989:HCP,% Impagliazzo:1989:LPC,% Impagliazzo:1989:PRG,% Ko:1986:NOW,% Levin:1985:OWF,% Naor:1989:UOW% }. \NAMECITE{weak}{% Joseph:1981:FPI% }. \NAMECITE{weight}{% Awerbuch:1987:ODA% }. \NAMECITE{weighted}{% Supowit:1980:HWP% }. \NAMECITE{which}{% Heintz:1980:TPW,% Immerman:1983:LWC,% Leighton:1982:LSV,% Tompa:1980:TFT,% Vaidya:1987:ALP% }. \NAMECITE{White}{% Wilber:1985:WPH,% Kalyanasundaram:1988:PWP% }. \NAMECITE{whose}{% Adler:1984:SAW% }. \NAMECITE{width}{% Barrington:1986:BWP,% Borodin:1983:BWT% }. \NAMECITE{wire}{% Tompa:1980:OSW% }. \NAMECITE{wire-routing}{% Tompa:1980:OSW% }. \NAMECITE{wiring}{% Dolev:1981:OWB% }. \NAMECITE{Wisconsin}{% ACM:1981:CPT% }. \NAMECITE{within}{% Pitt:1989:MCD,% Reif:1981:DAS% }. \NAMECITE{Work}{% Koch:1989:WPE,% Blum:1989:DPC,% Gurevich:1988:NLT% }. \NAMECITE{Work-preserving}{% Koch:1989:WPE% }. \NAMECITE{write}{% Beame:1986:LPC,% Boppana:1989:OSB,% Dolev:1984:CFW,% Rivest:1982:HRS% }. \NAMECITE{write-once}{% Dolev:1984:CFW,% Rivest:1982:HRS% }. \NAMECITE{York}{% ACM:1987:PNA% }. \NAMECITE{Zero}{% Fiege:1987:ZKP,% Blum:1988:NIZ,% Chor:1989:ZOL,% Fortnow:1987:CPZ,% Goldberg:1984:FES,% Halpern:1988:KBA% }. \NAMECITE{zero-knowledge}{% Blum:1988:NIZ,% Fortnow:1987:CPZ% }. \NAMECITE{zero-one}{% Chor:1989:ZOL,% Goldberg:1984:FES% }.