%%====================================================================== %% 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 Fri Oct 20 15:21:17 MDT 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{\#10015}{% Day:1980:CSM% }. \NAMECITE{$0$}{% Rivest:1979:LBN% }. \NAMECITE{$1$}{% Gabow:1976:SIB,% Rivest:1979:LBN% }. \NAMECITE{$103$}{% Schachtel:1978:NAM% }. \NAMECITE{$14$}{% Noshita:1974:MSE% }. \NAMECITE{$2$}{% Brown:1979:SOR,% Yao:1979:GIN% }. \NAMECITE{$2 1/2$}{% Karhumaki:1973:EPS% }. \NAMECITE{$3$}{% Brown:1979:SOR,% Camerini:1975:BMI% }. \NAMECITE{$3{\rm NF}$}{% Jou:1982:CRR% }. \NAMECITE{$5 \times 5$}{% Schachtel:1978:NAM% }. \NAMECITE{$68$}{% Langmaack:1979:FTP% }. \NAMECITE{$9$}{% Noshita:1974:MSE% }. \NAMECITE{${}^{1,5}$}{% Buda:1979:GSM% }. \NAMECITE{$B$}{% Samadi:1976:TSM% }. \NAMECITE{$c^n$}{% Robson:1979:ECP% }. \NAMECITE{$d$}{% Silva-Filho:1979:ACA% }. \NAMECITE{$F$}{% Muhlbacher:1979:FGG% }. \NAMECITE{$G$}{% Roussopoulos:1973:ADG% }. \NAMECITE{$H$}{% Roussopoulos:1973:ADG% }. \NAMECITE{$K$}{% Rozenberg:1976:NIG,% Rozenberg:1976:SIG,% Yuval:1975:FNN,% Zaks:1982:GRA,% Pettorossi:1980:DAC,% Silva-Filho:1979:ACA,% Szwarcfiter:1979:SDR% }. \NAMECITE{$L$}{% Bui:1977:SMS,% Bui:1979:ESM,% Day:1980:CSM,% Ruohonen:1975:TRC% }. \NAMECITE{${\rm LL}(1)$}{% Fischer:1979:IED% }. \NAMECITE{${\rm max}(m,n)$}{% Roussopoulos:1973:ADG% }. \NAMECITE{$N$}{% Penttonen:1975:EGG,% Bhat:1980:CTG,% Gabow:1976:SIB,% Ibarra:1980:NPC,% Mandrioli:1976:RCF,% Urbanek:1980:ACE% }. \NAMECITE{$n^2$}{% Corneil:1971:ADB% }. \NAMECITE{$N^{2.81}$}{% Yuval:1976:AFA% }. \NAMECITE{$n\times n$}{% Bini:1979:CAM% }. \NAMECITE{$\nu$}{% Culik:1978:DLC% }. \NAMECITE{$O(k^2\,\log n)$}{% Pettorossi:1980:DAC% }. \NAMECITE{$O(k^3\,\log n)$}{% Pettorossi:1980:DAC% }. \NAMECITE{$O(\log n)$}{% Shamir:1979:FNA,% Shortt:1978:IPC,% Urbanek:1980:ACE% }. \NAMECITE{$O(N)$}{% Hikita:1977:AFP% }. \NAMECITE{$O(n^{2.7799})$}{% Bini:1979:CAM% }. \NAMECITE{$O(n \log n)$}{% Rohrich:1982:HQW% }. \NAMECITE{$O(V^3)$}{% Malhotra:1978:AFM% }. \NAMECITE{$O(|E|) \log \log |V|$}{% Yao:1975:AFM,% Yao:1975:VAF% }. \NAMECITE{$\omega$}{% Feyock:1976:NTE% }. \NAMECITE{$\Omega((n/\lg n)^{1/2})$}{% Rivest:1979:LBN% }. \NAMECITE{$\Omega(n\log n)$}{% Avis:1980:CLB,% vanEmdeBoas:1980:LBC% }. \NAMECITE{$P$}{% Dobkin:1979:LPL,% Calmet:1980:IRP% }. \NAMECITE{$QY$}{% Makarov:1979:UDC% }. \NAMECITE{$S$}{% Day:1980:ISR% }. \NAMECITE{$T$}{% Dinic:1977:NTS% }. \NAMECITE{$\theta (\log \log N)$}{% Franklin:1979:PLS% }. \NAMECITE{$V^2$}{% Hopcroft:1971:ADI% }. \NAMECITE{$Y^{T}Q$}{% Makarov:1979:UDC% }. \NAMECITE{{}-ary}{% Zaks:1982:GRA% }. \NAMECITE{-connected}{% Gabow:1976:SIB% }. \NAMECITE{-cube}{% Bhat:1980:CTG% }. \NAMECITE{{}-dimensional}{% Yuval:1975:FNN% }. \NAMECITE{-Events}{% Feyock:1976:NTE% }. \NAMECITE{-factors}{% Gabow:1976:SIB,% Muhlbacher:1979:FGG% }. \NAMECITE{{}-Grammars}{% Penttonen:1975:EGG% }. \NAMECITE{-isomorphism}{% Yao:1979:GIN% }. \NAMECITE{{}-iteration}{% Rozenberg:1976:NIG,% Rozenberg:1976:SIG% }. \NAMECITE{-Local}{% Culik:1978:DLC% }. \NAMECITE{-matroid}{% Camerini:1975:BMI% }. \NAMECITE{-modes}{% Langmaack:1979:FTP% }. \NAMECITE{{}-polynomial}{% Dinic:1977:NTS% }. \NAMECITE{-Reconstructability}{% Mandrioli:1976:RCF% }. \NAMECITE{{}-stability}{% Day:1980:ISR% }. \NAMECITE{{}-stable}{% Bui:1977:SMS,% Bui:1979:ESM,% Day:1980:CSM% }. \NAMECITE{{}-Trees}{% Samadi:1976:TSM% }. \NAMECITE{{0L}}{% Rozenberg:1972:DPU% }. \NAMECITE{{1}}{% Hansal:1974:SDP% }. \NAMECITE{{10}}{% Avis:1980:CLB,% Hellman:1981:ACA,% Lloyd:1980:ELS,% Meijer:1981:NCM,% vanLeeuwen:1980:ELS% }. \NAMECITE{{11}}{% Moran:1981:NSP% }. \NAMECITE{{12}}{% Bini:1982:RPN,% Brouwer:1982:NMK,% Krichevsky:1982:LEF% }. \NAMECITE{{13}}{% Nakamura:1980:RTD% }. \NAMECITE{{14}}{% Kucera:1983:EAP,% Tarjan:1986:SAM,% Yokomori:1985:ETR% }. \NAMECITE{{56}}{% Day:1980:CSM% }. \NAMECITE{{6}}{% Day:1980:CSM% }. \NAMECITE{{68}}{% Baker:1972:UOA,% Branquart:1972:CFS,% Meertens:1976:SST% }. \NAMECITE{{7}}{% Fournier:1979:CCH,% Gonnet:1979:END,% Overmars:1980:FCB,% Yuval:1979:CSP% }. \NAMECITE{{8}}{% Aspvall:1982:ELT% }. \NAMECITE{80b}{% Aspvall:1982:ELT,% Fournier:1979:CCH,% Overmars:1980:FCB% }. \NAMECITE{80e}{% Nakamura:1980:RTD% }. \NAMECITE{81a}{% Colbourn:1980:CCP,% Lloyd:1980:ELS,% vanLeeuwen:1980:ELS% }. \NAMECITE{81k}{% Moran:1981:NSP% }. \NAMECITE{82d}{% Brouwer:1982:NMK% }. \NAMECITE{82i}{% Bini:1982:RPN% }. \NAMECITE{82j}{% Krichevsky:1982:LEF% }. \NAMECITE{83g}{% Kucera:1983:EAP,% Yokomori:1985:ETR% }. \NAMECITE{{9}}{% Andrew:1980:CAE,% Colbourn:1980:CCP% }. \NAMECITE{{A.}}{% Overmars:1980:FCB% }. \NAMECITE{{Aanderaa}}{% Illies:1978:CGA% }. \NAMECITE{{Aanderaa-Rosenberg}}{% Illies:1978:CGA% }. \NAMECITE{absence}{% Chandy:1979:DAP% }. \NAMECITE{Abstract}{% Arnborg:1974:ACM,% Fridman:1979:ALS,% Bergstra:1978:WAD% }. \NAMECITE{acceptors}{% Inoue:1979:NBP,% Nakamura:1980:RTD,% Schnorr:1977:UHS% }. \NAMECITE{access}{% Boari:1978:EMA,% Boari:1978:MAT,% Delcour:1976:EAC,% Gairola:1976:DIS,% Herschberg:1977:CFA,% Kucera:1982:PCC,% Kucera:1983:EAP% }. \NAMECITE{Accessing}{% Gunn:1982:CTT% }. \NAMECITE{Acquisition}{% Brandstetter:1972:SRS% }. \NAMECITE{adaptive}{% Javor:1977:ATA% }. \NAMECITE{Addendum}{% Akl:1979:AIA,% Brown:1979:ASS,% Grant:1977:ARE,% Kucera:1983:EAP% }. \NAMECITE{adder}{% Johnson:1980:CVA% }. \NAMECITE{Addition}{% Reiser:1975:EDF,% Reiser:1975:EED,% Cockayne:1979:AME,% Crespi-Reghizzi:1975:DTC,% Crespi-Reghizzi:1975:EDT,% Grabowski:1980:DPV,% Hughes:1978:EVA% }. \NAMECITE{additions}{% Rivest:1979:LBN% }. \NAMECITE{additive}{% Hyafil:1975:ACS,% Kral:1972:ENA,% Kral:1972:NAP% }. \NAMECITE{Address}{% Fisher:1974:BWG% }. \NAMECITE{Address-Order}{% Fisher:1974:BWG% }. \NAMECITE{advancement}{% Javor:1977:ATA% }. \NAMECITE{{AFL}}{% Boasson:1973:ISC% }. \NAMECITE{aggregates}{% Fridman:1979:ALS% }. \NAMECITE{{AL1}}{% Bratko:1978:PCS% }. \NAMECITE{algebra}{% Paredaens:1978:EPR% }. \NAMECITE{Algebraic}{% Molchanov:1973:OCI,% Bergstra:1982:STL,% Boasson:1973:ISC,% Caviness:1978:NCA,% DeMillo:1978:PRA,% Demolombe:1982:GDR,% Laut:1980:SPI,% Steckelberg:1977:RBA,% Winkowski:1977:ACB,% Winkowski:1978:EAC% }. \NAMECITE{algebras}{% Bini:1979:LBC% }. \NAMECITE{{ALGOL}}{% Baker:1972:UOA,% Branquart:1972:CFS,% Langmaack:1979:FTP,% Meertens:1976:SST% }. \NAMECITE{Algorithm}{% Ajtai:1978:TNF,% Anderson:1978:REA,% Collins:1977:APS,% Doyle:1976:LET,% Gries:1987:NGC,% Hikita:1977:AFP,% Koplowitz:1978:MEC,% Meijer:1980:DAN,% Rick:1979:IBA,% Rohlf:1978:PMS,% Akl:1978:FCH,% Akl:1978:IAC,% Akl:1979:AIA,% Akl:1979:TRC,% Andrew:1979:AEA,% Andrew:1980:CAE,% Arora:1978:ODP,% Aspvall:1979:LTA,% Aspvall:1982:ELT,% Bentley:1976:AOA,% Bini:1982:RPN,% Calmet:1980:IRP,% Cheston:1978:CUC,% Chin:1977:FEE,% Chung:1980:NPA,% Clark:1975:FAC,% Cockayne:1975:LAD,% Cockayne:1979:AME,% Corneil:1971:ADB,% Dershowitz:1980:SMA,% Dewar:1974:SMS,% Dyer:1980:FPA,% Fortune:1979:NRN,% Franchi-Zannettacci:1982:ETS,% Garey:1978:LTA,% Gavril:1975:ATC,% Gonnet:1977:ISS,% Graham:1972:EAD,% Hansen:1976:CAL,% Hansen:1976:ECA,% Hansen:1978:PAO,% Hanson:1976:SVB,% Hopcroft:1971:ADI,% Huet:1978:AGB,% Itai:1979:RAC,% Javor:1977:ATA,% Jonkers:1979:FGC,% Jovanovich:1974:NMF,% Kambayashi:1978:LSS,% King:1982:OAS,% Knuth:1977:GDA,% Krepyshev:1972:SDO,% Kundu:1976:LAH,% Liu:1980:ATL,% Loizou:1980:CFA,% Malhotra:1978:AFM,% McCallum:1979:LAF,% Minker:1974:EAP,% Noshita:1978:EBD,% Overmars:1980:FCB,% Petreschi:1980:SAS,% Petreschi:1981:ESA,% Pettorossi:1980:DAC,% Reiser:1978:LSA,% Robson:1973:IAT,% Roschke:1973:AOC,% Roussopoulos:1973:ADG,% Samet:1978:CFA,% SangAjang:1979:EAD,% Schachtel:1978:NAM,% Shiloach:1979:FEC,% Stevens:1975:ECA,% Tarjan:1974:GAE,% Tarjan:1974:NAF,% Tarjan:1982:HCA,% Tsao:1981:NIB,% Urbanek:1980:ACE,% Watjen:1982:AVE,% Yao:1975:AFM,% Yao:1975:VAF,% Yuval:1976:AFA% }. \NAMECITE{Algorithms}{% Arora:1978:EOP,% Coffy:1973:CTC,% Cohen:1975:IND,% Dwyer:1973:SAT,% Galil:1976:TFS,% Goto:1977:PHA,% Gurari:1979:SCR,% Nath:1982:PAC,% Arora:1980:HAP,% Beretta:1982:MCE,% Bertoni:1979:TEA,% Blazewicz:1977:SAM,% Frederickson:1980:PAS,% Hitotumatu:1979:TIB,% Ko:1982:SOP,% Kobayashi:1974:NEE,% Mitchell:1979:LAE,% Mitchell:1979:LAR,% Shaw:1977:SGA,% Siklossy:1972:FRO% }. \NAMECITE{Aliasing}{% Schwartz:1979:AAP% }. \NAMECITE{allocation}{% Gelenbe:1971:TTR,% Hanson:1976:SVB,% Krogdahl:1973:DSA,% Robson:1980:SAN% }. \NAMECITE{almost}{% Bentley:1976:AOA% }. \NAMECITE{Alphabetic}{% Wessner:1976:OAS% }. \NAMECITE{alphanumeric}{% Sethi:1978:ECC% }. \NAMECITE{Alternate}{% Reddi:1977:ASC% }. \NAMECITE{alternating}{% Raiha:1977:OAS% }. \NAMECITE{ambiguity}{% Takaoka:1974:NAC% }. \NAMECITE{Ambiguous}{% Tarhio:1982:LPS% }. \NAMECITE{among}{% Schwartz:1979:AAP% }. \NAMECITE{Analysis}{% Bentley:1975:ARS,% Collins:1977:APS,% Hennell:1976:PA,% Innes:1976:IAP,% Meijer:1980:DAN,% Silva-Filho:1979:ACA,% Tsur:1978:AQN,% Vikas:1979:API,% Yao:1980:NAE,% Carroll:1972:ACA,% Frederickson:1980:PAS,% Ogilvie:1972:UCS,% Tarjan:1982:SAM,% Tarjan:1986:SAM% }. \NAMECITE{Analyzers}{% Krzemien:1976:AGL% }. \NAMECITE{anomaly}{% Lamport:1976:CSA,% Lipton:1975:SA,% Trivedi:1976:SA% }. \NAMECITE{{APL}}{% Elgot:1982:SSA% }. \NAMECITE{Applicable}{% Reusch:1976:GLA% }. \NAMECITE{Application}{% deChampeaux:1978:SFS,% Akl:1978:CGM,% Hitotumatu:1979:TIB,% Manacher:1976:APM,% Pankov:1979:SEE,% Stacey:1971:RVM% }. \NAMECITE{applications}{% Barnett:1973:TRC,% Delcour:1976:EAC,% Deo:1977:GLG% }. \NAMECITE{Applying}{% Boffey:1973:AMR% }. \NAMECITE{approach}{% Czaja:1978:IAP,% Molchanov:1972:AIB,% Pequeno:1979:ADT% }. \NAMECITE{approximate}{% Bini:1979:CAM% }. \NAMECITE{approximates}{% Manacher:1979:NGN% }. \NAMECITE{Approximating}{% Molchanov:1973:CDS% }. \NAMECITE{approximation}{% Chin:1977:FEE% }. \NAMECITE{approximative}{% Nozaki:1979:NCA% }. \NAMECITE{April}{% Avis:1980:CLB% }. \NAMECITE{Arc}{% Bonuccelli:1979:MND% }. \NAMECITE{{ARCADE}}{% Brandwajn:1978:ASR% }. \NAMECITE{Architecture}{% Luque:1980:TAM,% Brandwajn:1978:ASR% }. \NAMECITE{Area}{% Preparata:1980:AOV,% Brent:1980:ABT% }. \NAMECITE{Area-Time}{% Preparata:1980:AOV% }. \NAMECITE{areas}{% Delcour:1976:EAC% }. \NAMECITE{Arithmetic}{% Chor:1982:AFF,% Barak:1976:PED,% Preparata:1975:TRE,% Shamir:1979:FNA,% Shortt:1978:IPC% }. \NAMECITE{arrangement}{% tenHoopen:1980:CRR% }. \NAMECITE{Arrangements}{% Knuth:1974:ESP,% Knuth:1974:SPG% }. \NAMECITE{Array}{% Rosenfeld:1973:PSA,% Wang:1976:ERM,% Wang:1976:RMA% }. \NAMECITE{ary}{% Zaks:1982:GRA% }. \NAMECITE{Ascending}{% Broy:1979:MSP% }. \NAMECITE{assertional}{% Bratko:1978:PCS% }. \NAMECITE{assigning}{% Meertens:1976:SST% }. \NAMECITE{assignment}{% Arora:1979:MAT,% Arora:1980:HAP,% Sethi:1973:NIP% }. \NAMECITE{assisted}{% DalBono:1975:SFS,% Lucena:1976:TSE% }. \NAMECITE{associated}{% Paun:1979:SLA% }. \NAMECITE{Associative}{% Minsky:1973:RBT,% Orenstein:1982:MTU,% Teskey:1979:DRU% }. \NAMECITE{assure}{% Fischer:1982:LBT% }. \NAMECITE{Asymptotic}{% Doberkat:1982:AEH,% Gonnet:1978:NDA,% Gonnet:1979:END% }. \NAMECITE{attack}{% Hellman:1981:ACA% }. \NAMECITE{Attribute}{% Giegerich:1978:COP,% Ridjanovic:1982:DDD% }. \NAMECITE{Author}{% Dobosiewicz:1978:ARW% }. \NAMECITE{authorization}{% Paredaens:1980:GLA% }. \NAMECITE{Automata}{% Inoue:1978:NTF,% Rosenfeld:1973:PSA,% Umeo:1982:DOW,% Ibarra:1974:NSS,% Inoue:1980:NDP,% Jones:1977:NLT,% Kinber:1980:IPD,% Nakamura:1980:RTD,% Reising:1979:NRF,% Tzafestas:1972:IOM% }. \NAMECITE{Automatic}{% Carroll:1972:ACA,% Cohen:1977:ASC,% Krzemien:1976:AGL,% Gini:1982:ASI% }. \NAMECITE{Auxiliary}{% Dwyer:1973:SAT,% Robson:1973:IAT,% Siklossy:1972:FRO% }. \NAMECITE{Average}{% Silva-Filho:1979:ACA,% Chroust:1972:EEM% }. \NAMECITE{avoidance}{% Cellary:1979:NST% }. \NAMECITE{avoiding}{% Devillers:1978:GMA,% Knuth:1971:ENA,% Knuth:1971:NAG% }. \NAMECITE{Axiomatic}{% Soundararajan:1979:APT% }. \NAMECITE{B}{% Brouwer:1982:NMK% }. \NAMECITE{backtrack}{% Hitotumatu:1979:TIB% }. \NAMECITE{backtracking}{% Allison:1978:PSN% }. \NAMECITE{Balanced}{% Silva-Filho:1979:ACA,% Bayer:1972:OBT,% Brown:1978:SSH,% Brown:1979:ASS% }. \NAMECITE{bandwidth}{% Robson:1975:SSI% }. \NAMECITE{Base}{% Bentley:1976:HPM,% Grant:1977:NVR,% Ferrari:1979:DLT% }. \NAMECITE{based}{% Leiss:1980:NSS% }. \NAMECITE{Bases}{% vanLeeuwen:1979:CSD% }. \NAMECITE{basic}{% Whale:1972:CVB% }. \NAMECITE{basis}{% Huet:1978:AGB% }. \NAMECITE{Batch}{% Lyon:1979:BSS,% Williams:1980:BSB% }. \NAMECITE{batching}{% Lipton:1978:BMC,% Williams:1980:BSB% }. \NAMECITE{be}{% Keir:1975:SSR% }. \NAMECITE{behavior}{% Doberkat:1982:AEH% }. \NAMECITE{behaviors}{% Noshita:1978:EBD% }. \NAMECITE{Behaviour}{% Tsur:1978:AQN,% Winkowski:1977:ACB,% Winkowski:1978:EAC% }. \NAMECITE{between}{% Ehrenfeucht:1979:FHB,% Gavril:1977:TEB,% Majster-Cederbaum:1980:SRB,% Rotem:1975:CBB,% Ruohonen:1975:TRC,% Steckelberg:1977:RBA,% vanderKnijff:1979:CCB% }. \NAMECITE{bilinear}{% Beretta:1982:MCE% }. \NAMECITE{bilinearity}{% Probert:1976:CNC% }. \NAMECITE{bin}{% Frederickson:1980:PAS% }. \NAMECITE{Binary}{% Adams:1973:ARB,% Leipala:1979:GBS,% Maurer:1976:IDU,% Minsky:1973:RBT,% Nievergelt:1972:BWP,% vanderNat:1979:BMP,% Brent:1980:ABT,% Clark:1975:FAC,% Hansen:1976:CAL,% Hansen:1976:ECA,% Hyafil:1976:COB,% Kessels:1979:TIC,% Korsh:1982:GNO,% Lagarias:1982:MSR,% Morris:1979:TBT,% Robson:1973:IAT,% Rotem:1975:CBB% }. \NAMECITE{binding}{% Prini:1979:SIS% }. \NAMECITE{{Bini}}{% Tsao:1981:NIB% }. \NAMECITE{Binomial}{% Ramshaw:1977:BCN% }. \NAMECITE{bipartite}{% Gabow:1976:NDC% }. \NAMECITE{Bisection}{% Rick:1979:IBA% }. \NAMECITE{bit}{% Jakobsson:1978:HCB,% Jakobsson:1982:EHB,% Teuhola:1978:CMC% }. \NAMECITE{bit-vector}{% Jakobsson:1978:HCB,% Jakobsson:1982:EHB% }. \NAMECITE{bit-vectors}{% Teuhola:1978:CMC% }. \NAMECITE{Bits}{% Lindstrom:1973:SLS% }. \NAMECITE{{BL}}{% Brown:1980:IBL% }. \NAMECITE{{Boas}}{% Avis:1980:CLB% }. \NAMECITE{Bodies}{% Heuer:1973:NSB% }. \NAMECITE{{Boolean}}{% Aspvall:1979:LTA,% Aspvall:1982:ELT,% Petreschi:1980:SAS,% Petreschi:1981:ESA% }. \NAMECITE{bottom}{% Inoue:1979:NBP% }. \NAMECITE{bottom-up}{% Inoue:1979:NBP% }. \NAMECITE{Bound}{% Hirschberg:1978:ITL,% Preparata:1978:IPP,% Avis:1980:CLB,% Banachowski:1980:CTR,% Brown:1980:IBL,% Fischer:1982:LBT,% Kung:1973:NUB,% Nieminen:1975:SOD,% Plesnik:1979:NCH,% Rivest:1979:LBN,% Tang:1973:MBB,% vanEmdeBoas:1980:LBC,% vanLeeuwen:1974:IBD% }. \NAMECITE{Boundary}{% Heuer:1973:NSB,% Molchanov:1973:CDS,% Hanson:1976:SVB,% Molchanov:1972:AIB% }. \NAMECITE{boundary-tag}{% Hanson:1976:SVB% }. \NAMECITE{Bounded}{% Fisher:1974:BWG,% Weihrauch:1975:PSP,% Ibarra:1974:NSS,% Lee:1974:LSD,% Veloso:1979:CRP% }. \NAMECITE{bounded-reversal}{% Ibarra:1974:NSS% }. \NAMECITE{Bounds}{% Camerini:1975:BMI,% Leung:1979:BLS,% Lloyd:1980:LSB,% Nievergelt:1972:BWP,% Bini:1979:LBC,% Bohm:1980:CBE,% Gabow:1976:SIB,% Lloyd:1980:ELS,% Selkow:1978:NBC,% vanLeeuwen:1980:ELS% }. \NAMECITE{{Boyce}}{% Kandzia:1980:CBC,% Osborn:1979:TEC% }. \NAMECITE{{Boyce-Codd}}{% Kandzia:1980:CBC,% Osborn:1979:TEC% }. \NAMECITE{Bracket}{% Mehlhorn:1976:BLR% }. \NAMECITE{Bracket-languages}{% Mehlhorn:1976:BLR% }. \NAMECITE{branch}{% Bron:1972:OMB,% Tang:1973:MBB% }. \NAMECITE{branch-and-bound}{% Tang:1973:MBB% }. \NAMECITE{branching}{% Shiloach:1979:EDB,% Tarjan:1974:GAE% }. \NAMECITE{bridges}{% Corneil:1971:ADB,% Tarjan:1974:NFB% }. \NAMECITE{Bubble}{% Dobosiewicz:1980:EVB,% Chung:1980:MNS,% Chung:1980:NPA% }. \NAMECITE{Buffer}{% Asai:1975:DQB,% Cooprider:1974:ISS,% Vikas:1979:API,% Dijkstra:1972:ISS% }. \NAMECITE{buffered}{% Rajaraman:1977:FFB% }. \NAMECITE{buffering}{% Tzafestas:1972:DPM% }. \NAMECITE{{Bui}}{% Day:1980:CSM% }. \NAMECITE{{Burton}}{% Dobosiewicz:1978:ARW% }. \NAMECITE{{Bykat}}{% Overmars:1980:FCB% }. \NAMECITE{{Cahit}}{% Bongiovanni:1978:CRG% }. \NAMECITE{calculate}{% Shortt:1978:IPC% }. \NAMECITE{calculation}{% Stevens:1975:ECA% }. \NAMECITE{calculus}{% Merret:1978:QLS% }. \NAMECITE{Can}{% Friedman:1979:RCC% }. \NAMECITE{Candidate}{% Demetrovics:1978:NCK,% Yu:1976:CFS% }. \NAMECITE{canonical}{% Caviness:1971:ELC,% Hughes:1978:EVA,% Samet:1978:CFA% }. \NAMECITE{capacity}{% Paun:1978:GCS% }. \NAMECITE{Cardinality}{% Hosono:1975:CSL,% Kanellakis:1980:CCC% }. \NAMECITE{{Carlo}}{% Beretta:1982:MCE% }. \NAMECITE{cascade}{% Hansen:1976:CAL,% Hansen:1976:ECA% }. \NAMECITE{Case}{% Silva-Filho:1979:ACA,% Francez:1977:CFP,% Rohrich:1982:HQW% }. \NAMECITE{categorical}{% Karlgren:1971:SRS% }. \NAMECITE{category}{% Watjen:1982:AVE% }. \NAMECITE{catenative}{% Kobuchi:1977:TCT% }. \NAMECITE{Catenativity}{% Culik:1978:DLC% }. \NAMECITE{Cellular}{% Umeo:1982:DOW% }. \NAMECITE{centroid}{% Kang:1975:SPC% }. \NAMECITE{Certain}{% Glushkov:1978:CPT,% Aspvall:1979:LTA,% Aspvall:1982:ELT,% Barnett:1973:TRC,% Cohen:1977:ASC,% Misra:1979:STT,% Rotem:1975:CBB% }. \NAMECITE{chain}{% Misra:1975:OCP% }. \NAMECITE{Characterization}{% Czaja:1980:DFP,% Kobuchi:1977:TCT,% Winkowski:1977:ACB,% Winkowski:1978:EAC% }. \NAMECITE{Characterize}{% Dolev:1978:CRS% }. \NAMECITE{Characterizing}{% Veloso:1979:CRP% }. \NAMECITE{cheaply}{% Morris:1979:TBT% }. \NAMECITE{check}{% Akl:1978:IAC,% Akl:1979:AIA% }. \NAMECITE{Checking}{% Gunn:1982:CTT,% Itai:1979:RAC,% Shiloach:1979:FEC,% Valiant:1976:RCC% }. \NAMECITE{choosing}{% Warren:1973:MCS% }. \NAMECITE{chordality}{% Gavril:1975:ATC% }. \NAMECITE{chromatic}{% Lawler:1976:NCC,% Roschke:1973:AOC% }. \NAMECITE{cigarette}{% Reddi:1977:ASC% }. \NAMECITE{circuits}{% Duncan:1971:PSS,% Zissos:1971:PSR% }. \NAMECITE{Circular}{% Bonuccelli:1979:MND,% Friedman:1979:RCC,% Booth:1980:LLC,% Itai:1979:RAC,% Shiloach:1979:FEC% }. \NAMECITE{Circular-Arc}{% Bonuccelli:1979:MND% }. \NAMECITE{clarification}{% vanderKnijff:1979:CCB% }. \NAMECITE{Class}{% Crespi-Reghizzi:1978:CGG,% Francez:1973:NCC,% Molchanov:1973:OCI,% Albert:1977:CCF,% Cohen:1977:ASC,% Crespi-Reghizzi:1975:DTC,% Crespi-Reghizzi:1975:EDT,% Kittler:1977:MDC% }. \NAMECITE{classification}{% Solntseff:1972:CEP% }. \NAMECITE{clique}{% Nieminen:1975:SOD,% Selkow:1978:NBC% }. \NAMECITE{cliques}{% Barrow:1976:SIM% }. \NAMECITE{closest}{% Dyer:1980:FPA% }. \NAMECITE{Closure}{% Coffy:1973:CTC,% Boasson:1973:ISC,% Hansen:1976:CAL,% Hansen:1976:ECA,% Inoue:1979:NCC,% Munro:1971:EDT% }. \NAMECITE{cluster}{% Ogilvie:1972:UCS% }. \NAMECITE{clustered}{% Teuhola:1978:CMC% }. \NAMECITE{clustering}{% Tarjan:1982:HCA% }. \NAMECITE{{Codd}}{% Kandzia:1980:CBC,% Osborn:1979:TEC% }. \NAMECITE{Code}{% Hanson:1980:CIL,% Banatre:1977:POC,% Williams:1979:TCG,% Kaye:1976:GCS% }. \NAMECITE{codes}{% Krichevsky:1982:LEF,% Mauceri:1981:FCC,% Veloso:1979:CRP% }. \NAMECITE{Coding}{% Hikita:1977:AFP,% Jakobsson:1978:HCB,% Sethi:1978:ECC% }. \NAMECITE{coefficient}{% Stevens:1975:ECA% }. \NAMECITE{coefficients}{% Ramshaw:1977:BCN% }. \NAMECITE{coercions}{% Banatre:1977:POC% }. \NAMECITE{{Colbourn}}{% Colbourn:1980:CCP% }. \NAMECITE{Collecting}{% Friedman:1976:GCH,% Friedman:1977:EGC% }. \NAMECITE{Collection}{% Fisher:1974:BWG,% Campbell:1974:OUS,% Hoare:1974:OSS% }. \NAMECITE{collector}{% Zave:1975:FCG% }. \NAMECITE{collectors}{% Terashima:1978:GOC% }. \NAMECITE{colored}{% Peterson:1980:NCP% }. \NAMECITE{coloring}{% Lipton:1978:BMC,% Mitchell:1979:LAE,% Roschke:1973:AOC% }. \NAMECITE{colouring}{% Williams:1980:BSB% }. \NAMECITE{combinatorial}{% Cohen:1977:ASC,% Pankov:1979:SEE% }. \NAMECITE{combined}{% SangAjang:1979:EAD% }. \NAMECITE{Comments}{% Akl:1978:CGM,% Annot:1986:CMS,% Avis:1980:CLB,% Bochmann:1976:CMD,% Burton:1978:CSD,% Day:1980:CSM,% Devai:1979:CCH,% Fournier:1979:CAN,% Fournier:1979:CCH,% Lamport:1976:CSA,% Wurgens:1977:CER,% Dobosiewicz:1978:ARW,% Overmars:1980:FCB% }. \NAMECITE{Common}{% Hirschberg:1978:ITL% }. \NAMECITE{communicating}{% Chandy:1979:DAP% }. \NAMECITE{communication}{% Hellman:1981:ACA,% Luccio:1980:CMC,% Meijer:1981:NCM% }. \NAMECITE{communications}{% Cockayne:1979:AME% }. \NAMECITE{Commutation}{% Dolev:1978:CRS% }. \NAMECITE{commutative}{% Makarov:1979:UDC% }. \NAMECITE{commutatively}{% Krichevsky:1982:LEF,% Mauceri:1981:FCC% }. \NAMECITE{Commutativity}{% Probert:1976:CNC% }. \NAMECITE{compactifying}{% Terashima:1978:GOC% }. \NAMECITE{compacting}{% Zave:1975:FCG% }. \NAMECITE{compaction}{% Jonkers:1979:FGC% }. \NAMECITE{Compactness}{% Francez:1973:NCC% }. \NAMECITE{Comparison}{% Lazos:1975:CSR,% Barnett:1973:TRC,% Ruohonen:1975:TRC,% Tsichritzis:1971:NCS,% Warren:1973:MCS,% vanderKnijff:1979:CCB% }. \NAMECITE{comparisons}{% Noshita:1974:MSE,% Warren:1973:MCS% }. \NAMECITE{Compilation}{% Giegerich:1978:COP% }. \NAMECITE{Compile}{% Gunn:1982:CTT,% Hansal:1974:SDP% }. \NAMECITE{Compiler}{% Arnborg:1974:ACM,% Krzemien:1976:AGL% }. \NAMECITE{Compiler-Compiler}{% Krzemien:1976:AGL% }. \NAMECITE{compilers}{% Turner:1977:EDR% }. \NAMECITE{complement}{% Banachowski:1980:CTR,% Robson:1979:ECP% }. \NAMECITE{Complete}{% Levy:1975:COP,% Williams:1977:COP,% Ehrenfeucht:1979:FHB,% Hyafil:1976:COB,% Lipski:1977:OMP,% Noshita:1978:EBD,% Ogilvie:1972:UCS,% Simovici:1979:EIF,% VanLeeuwen:1975:MQE,% Yao:1979:GIN% }. \NAMECITE{completeness}{% Matwin:1977:CST,% Plesnik:1979:NCH% }. \NAMECITE{completion}{% Kundu:1976:LAH% }. \NAMECITE{complex}{% vanDam:1972:SDP% }. \NAMECITE{Complexity}{% Bohm:1980:CBE,% Coffy:1973:CTC,% Gurari:1979:SCR,% Jackowski:1979:CSD,% Pearl:1975:CIC,% Akl:1978:CGM,% Banachowski:1980:CTR,% Bentley:1977:CFF,% Bhat:1980:CTG,% Bini:1979:CAM,% Bini:1979:LBC,% Caviness:1978:NCA,% Colbourn:1979:CSM,% Colbourn:1980:CCP,% Dobkin:1976:CV,% Hyafil:1975:ACS,% Ibarra:1980:NPC,% Johnson:1980:CVA,% Jou:1982:CRR,% Kanellakis:1980:CCC,% Kung:1973:NUB,% Lawler:1976:NCC,% Manacher:1976:APM,% Nozaki:1979:NCA,% Oulsnam:1979:CND,% Perl:1977:UCI,% Rohrich:1982:HQW,% Valiant:1976:RCC,% Yu:1976:CFS,% deGroote:1975:CQM% }. \NAMECITE{Components}{% Nath:1982:PAC,% Arjomandi:1976:FAU,% Cheston:1978:CUC,% Tarjan:1974:NAF,% Tarjan:1982:HCA% }. \NAMECITE{compression}{% Jakobsson:1978:HCB,% Jakobsson:1982:EHB,% Teuhola:1978:CMC% }. \NAMECITE{Compromising}{% vanLeeuwen:1979:CSD% }. \NAMECITE{Computation}{% Arnborg:1974:ACM,% DeMillo:1979:ICS,% Ershov:1977:PCP,% Kucera:1982:PCC,% Kucera:1983:EAP,% Zuczek:1977:USP% }. \NAMECITE{computational}{% Deimel:1974:RCP,% Kanellakis:1980:CCC,% Schmitt:1982:CPF% }. \NAMECITE{Computations}{% Pearl:1975:CIC,% Dijkstra:1980:TDD% }. \NAMECITE{compute}{% Makarov:1979:UDC,% Rivest:1979:LBN% }. \NAMECITE{Computer}{% Herman:1973:UCC,% Sridharan:1974:CGV,% Sridharan:1975:ECG,% Brandwajn:1978:ASR,% DalBono:1975:SFS,% Lucena:1976:TSE,% Stevens:1975:ECA,% Tzafestas:1972:DPM% }. \NAMECITE{computer-assisted}{% DalBono:1975:SFS% }. \NAMECITE{Computer-Constructors}{% Herman:1973:UCC% }. \NAMECITE{computers}{% Pankov:1979:SEE% }. \NAMECITE{Computing}{% Coffy:1973:CTC,% Gries:1980:CFN,% Valiant:1980:CMP,% Abelson:1979:NTS,% Arora:1980:HAP,% Ibarra:1980:NPC,% Pettorossi:1980:DAC,% Urbanek:1980:ACE% }. \NAMECITE{concerning}{% Cherniavsky:1979:NCT,% Yao:1979:NCK% }. \NAMECITE{Concurrent}{% Broy:1980:TSC,% Chrobot:1976:LLC,% Herschberg:1977:CFA,% Best:1979:NPC,% Hansen:1975:UTC% }. \NAMECITE{Conditional}{% Devillers:1973:RPN,% Kessels:1979:TIC,% Samet:1978:CFA% }. \NAMECITE{conditionals}{% Reddi:1977:ASC% }. \NAMECITE{Conditions}{% Molchanov:1973:CDS,% Williams:1977:COP% }. \NAMECITE{configurations}{% Williams:1980:CMC,% vanLeeuwen:1974:IBD% }. \NAMECITE{conflicts}{% Kucera:1982:PCC,% Kucera:1983:EAP% }. \NAMECITE{conjecture}{% Illies:1978:CGA,% Yao:1979:NCK% }. \NAMECITE{Connected}{% Nath:1982:PAC,% Arjomandi:1976:FAU,% Cheston:1978:CUC,% Gabow:1976:SIB,% Yuval:1973:PCT% }. \NAMECITE{conquer}{% Bentley:1978:DCL% }. \NAMECITE{Consecutive}{% Ehrich:1976:SSR,% Luccio:1976:SCR,% tenHoopen:1980:CRR,% Lipski:1977:OMP% }. \NAMECITE{conservation}{% Hoare:1973:GCL% }. \NAMECITE{consistency}{% Fischer:1982:LBT% }. \NAMECITE{Consistent}{% Molchanov:1973:OCI% }. \NAMECITE{constants}{% Gunn:1979:IC% }. \NAMECITE{constrained}{% Gabow:1976:NDC% }. \NAMECITE{Constraints}{% Lang:1976:SUL,% Blazewicz:1979:DST,% Kanellakis:1980:CCC,% Leung:1979:BLS,% Slowinski:1979:CMP% }. \NAMECITE{Constructing}{% Hyafil:1976:COB% }. \NAMECITE{Construction}{% Chrobot:1976:LLC,% Angluin:1979:NCM% }. \NAMECITE{Constructors}{% Herman:1973:UCC% }. \NAMECITE{consumer}{% Wurgens:1977:CER% }. \NAMECITE{Containment}{% Friedman:1978:ESC% }. \NAMECITE{content}{% Carroll:1972:ACA% }. \NAMECITE{Context}{% Friedman:1978:ESC,% Slisenko:1982:CFG,% Albert:1977:CCF,% Boari:1978:EMA,% Boari:1978:MAT,% Branquart:1972:CFS,% Cremers:1973:NLR,% Jaffe:1978:CPC,% Linna:1976:DNC,% Mandrioli:1976:RCF,% Milgram:1971:NSC,% Rozenberg:1972:DPU,% Rozenberg:1976:MES,% Sokolowski:1978:MPP,% Takaoka:1974:NAC,% Ukkonen:1979:NSC,% Wegbreit:1975:RCT% }. \NAMECITE{Context-Free}{% Friedman:1978:ESC,% Slisenko:1982:CFG,% Albert:1977:CCF,% Branquart:1972:CFS,% Jaffe:1978:CPC,% Linna:1976:DNC,% Mandrioli:1976:RCF,% Rozenberg:1972:DPU,% Sokolowski:1978:MPP,% Takaoka:1974:NAC,% Ukkonen:1979:NSC% }. \NAMECITE{continued}{% Akritas:1979:SPE% }. \NAMECITE{continuous}{% Abelson:1979:NTS% }. \NAMECITE{contractable}{% Solntseff:1972:EEC% }. \NAMECITE{Control}{% Dasgupta:1975:MCM,% Cherniavsky:1979:NCT,% Delcour:1976:EAC,% Devillers:1978:GMA,% Kruijer:1979:SSS% }. \NAMECITE{Convergence}{% Molchanov:1973:CDS% }. \NAMECITE{conversion}{% Cohen:1973:SDU% }. \NAMECITE{Convertibility}{% terBekke:1980:CD% }. \NAMECITE{Convex}{% Anderson:1978:REA,% Bykat:1978:CHF,% Gries:1987:NGC,% Jarvis:1973:ICH,% Koplowitz:1978:MEC,% Akl:1978:FCH,% Akl:1979:TRC,% Andrew:1979:AEA,% Andrew:1980:CAE,% Avis:1980:CLB,% Brown:1979:VDC,% Devai:1979:CCH,% Devroye:1980:NFC,% Fournier:1979:CAN,% Fournier:1979:CCH,% Graham:1972:EAD,% Lee:1978:ANN,% McCallum:1979:LAF,% Overmars:1980:FCB,% Yang:1979:NAN,% vanEmdeBoas:1980:LBC% }. \NAMECITE{Copying}{% Engelfriet:1976:CT,% Clark:1975:FAC% }. \NAMECITE{coroutine}{% Hanson:1976:SVB,% Pritchard:1976:PRM% }. \NAMECITE{correcting}{% Sethi:1978:ECC% }. \NAMECITE{correction}{% Cheston:1978:CUC,% Colbourn:1980:CCP,% Krawczyk:1980:ECM% }. \NAMECITE{correctness}{% Bratko:1978:PCS,% Duncan:1975:LUP,% Soundararajan:1979:APT,% Upfal:1982:FCP% }. \NAMECITE{correspondence}{% Rotem:1975:CBB% }. \NAMECITE{Corrigendum}{% Andrew:1980:CAE,% Tarjan:1986:SAM,% Yuval:1979:CSP% }. \NAMECITE{Cost}{% Middleton:1974:COP,% Slowinski:1979:CMP% }. \NAMECITE{Cost-minimal}{% Slowinski:1979:CMP% }. \NAMECITE{Cost-Oriented}{% Middleton:1974:COP% }. \NAMECITE{costs}{% Jammel:1980:ECD% }. \NAMECITE{Counter}{% Giegerich:1978:COP,% Boasson:1973:ISC% }. \NAMECITE{Counter-One-Pass}{% Giegerich:1978:COP% }. \NAMECITE{counterexample}{% Illies:1978:CGA% }. \NAMECITE{Counters}{% Weihrauch:1975:PSP% }. \NAMECITE{Counting}{% Crespi-Reghizzi:1978:CGG,% Friedman:1979:RCC,% Jaffe:1978:CPC,% Bertoni:1979:TEA,% Mathon:1979:NGI% }. \NAMECITE{Covering}{% Bonuccelli:1979:MND,% Osborn:1979:TEC,% Gavril:1977:TEB,% Kandzia:1980:CBC,% Ukkonen:1979:NSC% }. \NAMECITE{covers}{% Moura:1980:NGC% }. \NAMECITE{{CR}}{% Sengupta:1979:ICP% }. \NAMECITE{Creates}{% Friedman:1976:ODI,% Friedman:1979:EOD% }. \NAMECITE{Critical}{% Karayiannis:1978:CDC,% Kessels:1979:TIC,% Whale:1972:CVB% }. \NAMECITE{Crossvalidation}{% Christensen:1975:CME% }. \NAMECITE{cryptanalytic}{% Hellman:1981:ACA% }. \NAMECITE{Cryptography}{% Culik:1979:SIS% }. \NAMECITE{cryptosystem}{% Hellman:1981:ACA,% Luccio:1980:CMC,% Meijer:1981:NCM% }. \NAMECITE{cube}{% Bhat:1980:CTG% }. \NAMECITE{Cubic}{% Williams:1980:CMC% }. \NAMECITE{Cycle}{% Karayiannis:1978:CDC,% Loizou:1980:CFA,% Plesnik:1979:NCH% }. \NAMECITE{cycles}{% Jovanovich:1974:NMF% }. \NAMECITE{cyclic}{% Inoue:1979:NCC,% Rajaraman:1977:FFB,% tenHoopen:1980:CRR% }. \NAMECITE{Cyclomatic}{% Oulsnam:1979:CND% }. \NAMECITE{D}{% Brouwer:1982:NMK,% Day:1980:CSM% }. \NAMECITE{{D.P.}}{% Dobosiewicz:1979:PSD% }. \NAMECITE{{D0L}}{% Culik:1978:DLC,% Lee:1974:LSD,% Linna:1976:DNC,% Ruohonen:1979:DFD% }. \NAMECITE{{D0L}-ness}{% Linna:1976:DNC% }. \NAMECITE{{D0S}}{% Ehrenfeucht:1980:EIT% }. \NAMECITE{Data}{% Bentley:1976:HPM,% Brandstetter:1972:SRS,% Friedman:1976:ODI,% Friedman:1979:EOD,% Grant:1977:NVR,% Loizou:1979:MSD,% Sassa:1977:VTV,% Solntseff:1974:NDD,% vanLeeuwen:1979:CSD,% Anderssen:1975:RND,% Banerjee:1975:DLD,% Bergstra:1978:WAD,% Cherniavsky:1979:FTD,% Ferrari:1979:DLT,% Lao:1979:NDS,% Pequeno:1979:ADT,% Sethi:1978:ECC,% Varhegyi:1973:NDE,% vanDam:1972:SDP% }. \NAMECITE{Data-Bases}{% vanLeeuwen:1979:CSD% }. \NAMECITE{Database}{% Grant:1979:PVT,% Ridjanovic:1982:DDD,% Luk:1979:PMM% }. \NAMECITE{databases}{% Kanellakis:1980:CCC,% Liu:1980:ATL,% Srinivasan:1979:NRD,% Yao:1979:NCK,% terBekke:1980:CD% }. \NAMECITE{dates}{% Slowinski:1979:CMP% }. \NAMECITE{{DB}}{% Ferrari:1979:DLT% }. \NAMECITE{Deadline}{% Blazewicz:1979:DST% }. \NAMECITE{deadlines}{% Blazewicz:1977:SAM% }. \NAMECITE{Deadlock}{% Chandy:1979:DAP,% Czaja:1980:DFP,% Boari:1976:SPD,% Cellary:1979:NST,% Jammel:1980:ECD% }. \NAMECITE{Decidability}{% Culik:1978:DLC,% Crespi-Reghizzi:1975:DTC,% Crespi-Reghizzi:1975:EDT,% Culik:1979:SDR,% Grabowski:1980:DPV,% Ruohonen:1979:DFD% }. \NAMECITE{decidable}{% Linna:1976:DNC% }. \NAMECITE{Decision}{% Czaja:1980:DFP,% Hyafil:1976:COB,% Inoue:1980:NDP% }. \NAMECITE{Decomposable}{% Bentley:1979:DSP,% vanLeeuwen:1980:DDS% }. \NAMECITE{deduction}{% FarinasDelCerro:1982:SDM% }. \NAMECITE{defined}{% Gries:1980:CFN% }. \NAMECITE{Defining}{% Ridjanovic:1982:DDD% }. \NAMECITE{definition}{% Bochmann:1976:CMD,% Cunningham:1976:NSD,% Madsen:1977:EFD% }. \NAMECITE{degree}{% Gabow:1976:NDC,% Plesnik:1979:NCH% }. \NAMECITE{degree-constrained}{% Gabow:1976:NDC% }. \NAMECITE{{Delaunay}}{% Manacher:1979:NGN% }. \NAMECITE{delayed}{% Erkio:1980:IMS% }. \NAMECITE{demand}{% Arora:1978:ODP,% Brandwajn:1977:SPD% }. \NAMECITE{Denning}{% Brouwer:1982:NMK% }. \NAMECITE{dependence}{% Kittler:1975:DJD% }. \NAMECITE{dependencies}{% Graham:1982:SER,% Yu:1976:CFS% }. \NAMECITE{dependency}{% Luk:1979:PMM% }. \NAMECITE{dependent}{% Keir:1975:SSR% }. \NAMECITE{depending}{% Molchanov:1972:IMS% }. \NAMECITE{depth}{% Henno:1979:DMF,% McColl:1978:MDM% }. \NAMECITE{Derivation}{% Pettorossi:1980:DAC,% Gonnet:1978:NDA,% Gonnet:1979:END% }. \NAMECITE{derivations}{% Jaffe:1978:CPC% }. \NAMECITE{derivative}{% Kung:1973:NUB,% Shaw:1977:SGA% }. \NAMECITE{describing}{% Slisenko:1982:CFG% }. \NAMECITE{Description}{% Solntseff:1974:NDD% }. \NAMECITE{Design}{% Asai:1975:DQB,% Bentley:1976:HPM,% Chrobot:1976:LLC,% Meijer:1980:DAN,% Tzafestas:1972:DPM% }. \NAMECITE{Destroys}{% Friedman:1976:ODI,% Friedman:1979:EOD% }. \NAMECITE{detecting}{% vanLeeuwen:1974:IBD% }. \NAMECITE{Detection}{% Karayiannis:1978:CDC,% Boari:1976:SPD,% Dijkstra:1980:TDD,% Fischer:1979:IED,% Jammel:1980:ECD,% SangAjang:1979:EAD% }. \NAMECITE{determination}{% Avis:1980:CLB,% Barlow:1982:PMD,% Munro:1971:EDT,% Nieminen:1975:SOD,% vanEmdeBoas:1980:LBC% }. \NAMECITE{Determining}{% Anderson:1978:REA,% Tarjan:1972:DWG,% Corneil:1971:ADB,% Graham:1972:EAD,% Hopcroft:1971:ADI,% Kittler:1977:MDC,% Roussopoulos:1973:ADG% }. \NAMECITE{determinism}{% Allison:1978:PSN% }. \NAMECITE{Deterministic}{% Cohen:1975:IND,% Friedman:1978:ESC,% Umeo:1982:DOW,% Ehrenfeucht:1973:LTS,% Jones:1977:NLT,% Kinber:1980:IPD,% Rozenberg:1972:EEP,% Rozenberg:1972:EPD,% Schnorr:1977:UHS,% vanLeeuwen:1974:IBD% }. \NAMECITE{development}{% Cherniavsky:1979:NCT% }. \NAMECITE{developmental}{% Kobuchi:1977:TCT% }. \NAMECITE{deviations}{% Krepyshev:1972:SDO% }. \NAMECITE{Device}{% Solntseff:1974:NDD,% Hansal:1974:SDP% }. \NAMECITE{diagnosis}{% Turner:1977:EDR% }. \NAMECITE{Diagonals}{% Madsen:1976:MMD% }. \NAMECITE{diagrams}{% Brown:1979:VDC% }. \NAMECITE{Dictionaries}{% Maurer:1976:IDU% }. \NAMECITE{Difference}{% Molchanov:1973:CDS,% Molchanov:1972:IMS,% Urbanek:1980:ACE% }. \NAMECITE{differences}{% Holnapy:1973:GMF% }. \NAMECITE{differential}{% Bui:1977:SMS,% Bui:1979:ESM,% Day:1980:CSM,% Whale:1972:CVB% }. \NAMECITE{differentiation}{% Anderssen:1975:RND,% Caviness:1978:NCA,% Varhegyi:1973:NDE% }. \NAMECITE{diffusing}{% Dijkstra:1980:TDD% }. \NAMECITE{digraph}{% Arjomandi:1976:FAU% }. \NAMECITE{digraphs}{% Plesnik:1979:NCH% }. \NAMECITE{{Dijkstra}}{% Knuth:1977:GDA,% Noshita:1978:EBD,% Vantilborgh:1972:EDS% }. \NAMECITE{Dimensional}{% Inoue:1978:NTF,% Bird:1977:TDP,% Frederickson:1980:PAS,% Inoue:1980:NDP,% Itano:1979:RPS,% Nakamura:1980:RTD,% Yuval:1975:FNN% }. \NAMECITE{dimensions}{% Andrew:1979:AEA,% Andrew:1980:CAE,% Bykat:1978:CHF,% Devai:1979:CCH,% Fournier:1979:CCH,% Overmars:1980:FCB% }. \NAMECITE{{Diophantine}}{% Huet:1978:AGB% }. \NAMECITE{Direct}{% Rozenberg:1972:DPU% }. \NAMECITE{Directed}{% Kameda:1975:VRR,% Cohen:1973:SDU,% Munro:1971:EDT,% Shiloach:1979:EDB,% Shiloach:1979:SLO% }. \NAMECITE{disciplines}{% Hoare:1973:GCL% }. \NAMECITE{discrete}{% Javor:1977:ATA,% Kawai:1980:FSP,% Krepyshev:1972:SDO% }. \NAMECITE{discrete-time}{% Krepyshev:1972:SDO% }. \NAMECITE{discriminated}{% Berry:1979:UDR% }. \NAMECITE{Disjoint}{% Bonuccelli:1979:MND,% Shiloach:1979:EDB,% Tarjan:1974:GAE% }. \NAMECITE{disk}{% Coffman:1973:NRP% }. \NAMECITE{distinct}{% Szwarcfiter:1979:SDR% }. \NAMECITE{distributed}{% Arora:1979:MAT,% Arora:1980:HAP,% Devillers:1978:GMA,% Gairola:1976:DIS,% Kruijer:1979:SSS% }. \NAMECITE{Distributive}{% Dobosiewicz:1978:SDP,% Huits:1979:PSD,% Allison:1980:SDP,% Burton:1978:CSD,% Dobosiewicz:1978:ARW,% Jackowski:1979:CSD% }. \NAMECITE{divergence}{% Kittler:1975:DJD% }. \NAMECITE{Divide}{% Bentley:1978:DCL% }. \NAMECITE{Division}{% Collins:1977:APS,% Barak:1976:PED,% Demolombe:1982:GDR,% Preparata:1975:TRE% }. \NAMECITE{division-free}{% Barak:1976:PED,% Preparata:1975:TRE% }. \NAMECITE{do}{% Oulsnam:1979:CND% }. \NAMECITE{Document}{% Reddy:1972:XHS,% Teskey:1979:DRU% }. \NAMECITE{Domination}{% Natarajan:1978:ODW,% Cockayne:1975:LAD% }. \NAMECITE{down}{% Cherniavsky:1979:NCT% }. \NAMECITE{{DPA}}{% vanLeeuwen:1974:IBD% }. \NAMECITE{Drift}{% Reiser:1975:EDF,% Reiser:1975:EED% }. \NAMECITE{Driven}{% Friedman:1976:ODI,% Friedman:1979:EOD% }. \NAMECITE{dual}{% Banerjee:1975:DLD% }. \NAMECITE{duality}{% Makarov:1979:UDC% }. \NAMECITE{due}{% Slowinski:1979:CMP% }. \NAMECITE{dynamic}{% Gelenbe:1971:TTR,% Krogdahl:1973:DSA% }. \NAMECITE{Dynamics}{% Ridjanovic:1982:DDD% }. \NAMECITE{Dynamization}{% vanLeeuwen:1980:DDS% }. \NAMECITE{{E0L}}{% Albert:1977:CCF,% Grant:1977:ARE,% Grant:1977:REL% }. \NAMECITE{{Earley}}{% Minker:1974:EAP% }. \NAMECITE{economic}{% Cockayne:1979:AME% }. \NAMECITE{{ECT}}{% Solntseff:1972:EEC% }. \NAMECITE{Edge}{% Shiloach:1979:EDB,% Mitchell:1979:LAE,% Tarjan:1974:GAE% }. \NAMECITE{edge-coloring}{% Mitchell:1979:LAE% }. \NAMECITE{Edge-disjoint}{% Shiloach:1979:EDB,% Tarjan:1974:GAE% }. \NAMECITE{editing}{% Selkow:1977:TTE% }. \NAMECITE{editor}{% Krichevsky:1982:LEF% }. \NAMECITE{education}{% Brandwajn:1978:ASR% }. \NAMECITE{effects}{% Cunningham:1976:NSD% }. \NAMECITE{Efficient}{% Anderson:1978:REA,% Dobosiewicz:1980:EVB,% Koplowitz:1978:MEC,% Munro:1971:EDT,% Papadimitriou:1979:ESR,% vanLeeuwen:1982:ERR,% Andrew:1979:AEA,% Andrew:1980:CAE,% Bertoni:1979:TEA,% Ghezzi:1975:LGS,% Graham:1972:EAD,% SangAjang:1979:EAD,% Warren:1973:MCS% }. \NAMECITE{eigenvalues}{% Barlow:1982:PMD% }. \NAMECITE{Elastic}{% Heuer:1973:NSB,% Rem:1975:PES% }. \NAMECITE{Elasticity}{% Molchanov:1973:CDS,% Molchanov:1972:IMS% }. \NAMECITE{electronic}{% Pankov:1979:SEE% }. \NAMECITE{element}{% Urbanek:1980:ACE% }. \NAMECITE{elementary}{% Stevens:1975:ECA% }. \NAMECITE{Elements}{% vanLeeuwen:1979:CSD,% Merret:1977:RPL,% Noshita:1974:MSE,% Reiser:1978:LSA% }. \NAMECITE{embedded}{% Rosenberg:1979:NPE% }. \NAMECITE{Emde}{% Avis:1980:CLB% }. \NAMECITE{emptiness}{% Ehrenfeucht:1980:EIT,% Robson:1979:ECP% }. \NAMECITE{Enclosures}{% Delcour:1976:EAC% }. \NAMECITE{entropy}{% Christensen:1975:CME,% Sekey:1975:GFE% }. \NAMECITE{Environment}{% Fisher:1974:BWG,% Carroll:1972:ACA,% Itano:1979:RPS,% Lucena:1976:TSE% }. \NAMECITE{Environments}{% Friedman:1979:RCC,% Hanson:1976:SVB% }. \NAMECITE{equality}{% Gavril:1977:TEB,% Scheiding:1971:REM% }. \NAMECITE{equation}{% Urbanek:1980:ACE,% Whale:1972:CVB% }. \NAMECITE{Equations}{% Heuer:1973:NSB,% Molchanov:1973:OCI,% deWolf:1975:NMS,% deWolf:1976:NSI,% Akritas:1979:SPE,% Bui:1977:SMS,% Bui:1979:ESM,% Day:1980:CSM,% Huet:1978:AGB,% Molchanov:1972:IMS,% Petreschi:1980:SAS,% Petreschi:1981:ESA,% Ruohonen:1978:NLE,% Watjen:1982:AVE% }. \NAMECITE{Equilibrium}{% Heuer:1973:NSB,% Gelenbe:1971:TTR% }. \NAMECITE{Equivalence}{% Friedman:1978:ESC,% Bayer:1972:OBT,% Bohm:1980:CBE,% Edelsbrunner:1982:ESR,% Graham:1982:SER,% Hughes:1978:EVA,% Itai:1979:RAC,% Kobayashi:1974:NEE,% Rozenberg:1972:DPU,% Rozenberg:1972:EEP,% Rozenberg:1972:EPD,% Ruohonen:1979:DFD,% Samet:1978:CFA,% Shiloach:1979:FEC% }. \NAMECITE{equivalence-checking}{% Shiloach:1979:FEC% }. \NAMECITE{equivalent}{% Krichevsky:1982:LEF,% Mauceri:1981:FCC% }. \NAMECITE{Errata}{% Lloyd:1980:ELS,% vanLeeuwen:1980:ELS% }. \NAMECITE{Erratum}{% Aspvall:1982:ELT,% Boari:1978:EMA,% Bui:1979:ESM,% Crespi-Reghizzi:1975:EDT,% Friedman:1977:EGC,% Friedman:1979:EOD,% Gonnet:1979:END,% Hansen:1976:ECA,% Harel:1979:ETR,% Horowitz:1972:EFM,% Knuth:1971:ENA,% Knuth:1974:ESP,% Kral:1972:ENA,% Kucera:1983:EAP,% Petreschi:1981:ESA,% Reiser:1975:EED,% Rozenberg:1972:EEP,% Sridharan:1975:ECG,% Wang:1976:ERM,% Winkowski:1978:EAC,% Yokomori:1985:ETR% }. \NAMECITE{Error}{% Krawczyk:1980:ECM,% Turner:1977:EDR,% Wurgens:1977:CER,% Chin:1977:FEE,% Fischer:1979:IED,% Ghezzi:1975:LGS,% Sethi:1978:ECC% }. \NAMECITE{error-correcting}{% Sethi:1978:ECC% }. \NAMECITE{estimates}{% Doberkat:1982:AEH% }. \NAMECITE{estimation}{% Beretta:1982:MCE% }. \NAMECITE{estimator}{% Yuval:1977:TE% }. \NAMECITE{{ET0L}}{% Penttonen:1975:EGG,% Rozenberg:1976:MES,% VanLeeuwen:1975:MQE% }. \NAMECITE{{ET0L}-Grammars}{% Penttonen:1975:EGG% }. \NAMECITE{{ET0L}-languages}{% VanLeeuwen:1975:MQE% }. \NAMECITE{{ETOL}}{% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{{EUCLID}}{% Schwartz:1979:AAP% }. \NAMECITE{{Euclidean}}{% Bentley:1979:NEN% }. \NAMECITE{Evading}{% Reiser:1975:EDF,% Reiser:1975:EED% }. \NAMECITE{evaluate}{% Preparata:1975:TRE% }. \NAMECITE{Evaluating}{% Borodin:1971:EPM,% Valiant:1976:RCC% }. \NAMECITE{Evaluation}{% Jakobsson:1982:EHB,% Barak:1976:PED,% Chin:1977:FEE,% Chroust:1972:EEM,% Hanson:1980:CIL,% Kung:1973:NUB,% Nozaki:1979:NCA,% Shaw:1977:SGA,% Toussaint:1972:FEQ% }. \NAMECITE{evaluations}{% Pankov:1979:SEE% }. \NAMECITE{evaluator}{% Raiha:1977:OAS% }. \NAMECITE{Even}{% Simovici:1979:EIF,% Ebert:1980:NOE% }. \NAMECITE{Events}{% Feyock:1976:NTE% }. \NAMECITE{example}{% Karhumaki:1973:EPS% }. \NAMECITE{Examples}{% Mizumoto:1973:EFG% }. \NAMECITE{exchange}{% Cahit:1977:RGP% }. \NAMECITE{exclusion}{% Annot:1986:CMS,% Morris:1979:SFS% }. \NAMECITE{Execution}{% Galand:1975:SIS,% Lang:1976:SUL% }. \NAMECITE{Exhibit}{% Tsur:1978:AQN% }. \NAMECITE{Existence}{% Osborn:1979:TEC,% Caviness:1971:ELC% }. \NAMECITE{exit}{% Cherniavsky:1979:NCT% }. \NAMECITE{expansion}{% Zave:1976:SEI% }. \NAMECITE{Expected}{% Doyle:1976:LET,% Bentley:1978:DCL,% Doberkat:1982:AEH,% Franklin:1979:PLS,% Jammel:1980:ECD,% Noshita:1978:EBD% }. \NAMECITE{experiment}{% Knuth:1972:EOS,% Madsen:1977:EFD% }. \NAMECITE{experimental}{% Anderssen:1975:RND,% Matwin:1977:EIG,% Varhegyi:1973:NDE% }. \NAMECITE{Experiments}{% Salton:1973:EML% }. \NAMECITE{Exploiting}{% Arora:1978:EOP% }. \NAMECITE{Expression}{% Chroust:1972:EEM% }. \NAMECITE{Expressions}{% Czaja:1978:PIP,% Barak:1976:PED,% Gonnet:1978:NDA,% Gonnet:1979:END,% Graham:1982:SER,% Karlgren:1971:SRS,% Preparata:1975:TRE,% Robson:1979:ECP% }. \NAMECITE{expressive}{% Merret:1978:QLS,% Paredaens:1978:EPR% }. \NAMECITE{extended}{% Robson:1979:ECP% }. \NAMECITE{Extendible}{% Yao:1980:NAE% }. \NAMECITE{extending}{% Kobayashi:1974:NEE% }. \NAMECITE{extensible}{% Solntseff:1972:CEP,% Solntseff:1972:EEC% }. \NAMECITE{extensible-contractable}{% Solntseff:1972:EEC% }. \NAMECITE{extension}{% Franchi-Zannettacci:1982:ETS,% Minker:1982:ELR,% Vantilborgh:1972:EDS% }. \NAMECITE{Extensions}{% Camerini:1978:MMS% }. \NAMECITE{extremely}{% Kral:1972:ENA,% Kral:1972:NAP% }. \NAMECITE{F}{% Brouwer:1982:NMK,% Moran:1981:NSP% }. \NAMECITE{{F0L}}{% Ruohonen:1979:DFD% }. \NAMECITE{{F0L-D0L}}{% Ruohonen:1979:DFD% }. \NAMECITE{facilities}{% Hansal:1974:SDP,% Madsen:1977:EFD% }. \NAMECITE{Factoring}{% Shamir:1979:FNA% }. \NAMECITE{factors}{% Ebert:1980:NOE,% Gabow:1976:SIB,% Muhlbacher:1979:FGG% }. \NAMECITE{Fairness}{% Czaja:1980:DFP% }. \NAMECITE{families}{% Szwarcfiter:1979:SDR% }. \NAMECITE{family}{% Albert:1977:CCF,% Boasson:1973:ISC,% Krichevsky:1982:LEF,% Mauceri:1981:FCC,% Partsch:1976:FRR,% Shaw:1977:SGA% }. \NAMECITE{fan}{% Barak:1976:PED% }. \NAMECITE{fan-in}{% Barak:1976:PED% }. \NAMECITE{Fast}{% Ajtai:1978:TNF,% Bailey:1980:FSS,% Galil:1976:TFS,% Marsaglia:1976:IFM,% Preparata:1978:IPP,% Sassa:1976:HMF,% Siklossy:1972:FRO,% deChampeaux:1978:SFS,% Akl:1978:FCH,% Beretta:1982:MCE,% Chin:1977:FEE,% Clark:1975:FAC,% Dyer:1980:FPA,% Horowitz:1972:EFM,% Horowitz:1972:FMI,% Jonkers:1979:FGC,% Shiloach:1979:FEC,% Zave:1975:FCG% }. \NAMECITE{Feature}{% Toussaint:1972:FEQ,% Kittler:1975:DJD% }. \NAMECITE{Features}{% Giegerich:1978:COP% }. \NAMECITE{feedback}{% Garey:1978:LTA,% Simovici:1979:EIF,% Tzafestas:1972:DPM% }. \NAMECITE{Few}{% vanLeeuwen:1979:CSD% }. \NAMECITE{{Fibonacci}}{% Gries:1980:CFN,% Pettorossi:1980:DAC,% Shortt:1978:IPC% }. \NAMECITE{Field}{% Gunn:1982:CTT% }. \NAMECITE{fields}{% Chor:1982:AFF% }. \NAMECITE{{FIFO}}{% Endres:1977:FOP% }. \NAMECITE{{FIFO}-optimal}{% Endres:1977:FOP% }. \NAMECITE{file}{% Banerjee:1975:DLD,% Herschberg:1977:CFA,% Sengupta:1979:ICP% }. \NAMECITE{files}{% Stacey:1971:RVM% }. \NAMECITE{filter}{% Krepyshev:1972:SDO% }. \NAMECITE{Find}{% Doyle:1976:LET,% Lao:1979:NDS% }. \NAMECITE{Finding}{% Ehrenfeucht:1979:FHB,% Hikita:1977:AFP,% Johnson:1975:PQU,% Yuval:1975:FNN,% Yuval:1976:FNN,% Arjomandi:1976:FAU,% Bailey:1980:FSS,% Bentley:1977:CFF,% Cherniavsky:1979:FTD,% Devroye:1980:NFC,% Garey:1978:LTA,% Jovanovich:1974:NMF,% King:1982:OAS,% Loizou:1980:CFA,% Malhotra:1978:AFM,% McCallum:1979:LAF,% Tarjan:1974:NAF,% Tarjan:1974:NFB,% Yao:1975:AFM,% Yao:1975:VAF,% Yu:1976:CFS,% Yuval:1976:AFA% }. \NAMECITE{Finite}{% Anderson:1978:REA,% Cooprider:1974:ISS,% Inoue:1978:NTF,% Jarvis:1973:ICH,% Bykat:1978:CHF,% Chor:1982:AFF,% Devai:1979:CCH,% Dijkstra:1972:ISS,% Fournier:1979:CCH,% Graham:1972:EAD,% Holnapy:1973:GMF,% Inoue:1980:NDP,% Langmaack:1979:FTP,% Nakamura:1980:RTD,% Overmars:1980:FCB,% Paun:1978:GCS,% Reising:1979:NRF% }. \NAMECITE{First}{% Galand:1975:SIS,% Rajaraman:1977:FFB% }. \NAMECITE{first-in-first-out}{% Rajaraman:1977:FFB% }. \NAMECITE{Fixed}{% Lassez:1982:FPT,% Bentley:1977:CFF% }. \NAMECITE{fixed-radius}{% Bentley:1977:CFF% }. \NAMECITE{Floating}{% Reiser:1975:EDF,% Reiser:1975:EED% }. \NAMECITE{Floating-Point}{% Reiser:1975:EDF,% Reiser:1975:EED% }. \NAMECITE{floor}{% Schmitt:1982:CPF% }. \NAMECITE{flows}{% Malhotra:1978:AFM% }. \NAMECITE{folk}{% Lassez:1982:FPT% }. \NAMECITE{{FOR}-loops}{% Fridman:1979:ALS% }. \NAMECITE{forest}{% vanEmdeBoas:1977:POF% }. \NAMECITE{Form}{% Osborn:1979:TEC,% Nijholt:1979:LRG,% Samet:1978:CFA,% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{Formal}{% Mizumoto:1973:EFG,% Upfal:1982:FCP,% Kawai:1980:FSP,% Langmaack:1979:FTP,% Madsen:1977:EFD,% Talbert:1977:FSS% }. \NAMECITE{Formalization}{% Giegerich:1978:COP% }. \NAMECITE{forms}{% Beretta:1982:MCE,% Caviness:1971:ELC,% Kandzia:1980:CBC,% Rozenberg:1972:DPU,% Samet:1978:CFA% }. \NAMECITE{formulae}{% McColl:1978:MDM,% Schnorr:1977:UHS% }. \NAMECITE{formulas}{% Aspvall:1979:LTA,% Aspvall:1982:ELT% }. \NAMECITE{{FORTRAN}}{% DalBono:1975:SFS% }. \NAMECITE{forward}{% Francez:1977:CFP% }. \NAMECITE{fractions}{% Akritas:1979:SPE% }. \NAMECITE{Free}{% Friedman:1978:ESC,% Solntseff:1974:NDD,% Albert:1977:CCF,% Annot:1986:CMS,% Barak:1976:PED,% Branquart:1972:CFS,% Cherniavsky:1979:FTD,% Elgot:1982:SSA,% Jaffe:1978:CPC,% Kang:1975:SPC,% Linna:1976:DNC,% Mandrioli:1976:RCF,% Morris:1979:SFS,% Preparata:1975:TRE,% Rozenberg:1972:DPU,% Slisenko:1982:CFG,% Sokolowski:1978:MPP,% Takaoka:1974:NAC,% Ukkonen:1979:NSC% }. \NAMECITE{Full}{% Santoro:1976:FTS% }. \NAMECITE{Fully}{% Kasyanov:1973:SPF% }. \NAMECITE{function}{% Minker:1982:ELR,% Moore:1979:MPT,% Schmitt:1982:CPF,% Sekey:1975:GFE% }. \NAMECITE{Functional}{% Lukaszewicz:1977:FG,% Yu:1976:CFS% }. \NAMECITE{functionals}{% Stoyan:1979:MMS% }. \NAMECITE{Functions}{% Santoro:1976:FTS,% Abelson:1979:NTS,% Engelfriet:1978:TTP,% Gries:1980:CFN,% Henno:1979:DMF,% Krishnamurthy:1976:NPF,% Shyamasundar:1976:NLP% }. \NAMECITE{fundamental}{% Jovanovich:1974:NMF% }. \NAMECITE{Further}{% Overmars:1980:FCB% }. \NAMECITE{future}{% Christensen:1975:CME% }. \NAMECITE{{G.}}{% Akl:1978:CGM% }. \NAMECITE{game}{% Loui:1980:NPG% }. \NAMECITE{Garbage}{% Fisher:1974:BWG,% Friedman:1976:GCH,% Friedman:1977:EGC,% Campbell:1974:OUS,% Hoare:1974:OSS,% Jonkers:1979:FGC,% Terashima:1978:GOC,% Zave:1975:FCG% }. \NAMECITE{General}{% Merret:1971:GPM,% Devillers:1978:GMA,% Hoare:1973:GCL% }. \NAMECITE{Generalization}{% Leipala:1979:GBS,% Holnapy:1973:GMF,% Knuth:1977:GDA% }. \NAMECITE{Generalizations}{% Deo:1977:GLG% }. \NAMECITE{Generalized}{% Buda:1979:GSM,% Demolombe:1982:GDR,% Molchanov:1973:OCI,% Reusch:1976:GLA,% Illies:1978:CGA,% Muhlbacher:1979:FGG% }. \NAMECITE{Generate}{% Knuth:1974:ESP,% Knuth:1974:SPG,% Huet:1978:AGB% }. \NAMECITE{Generating}{% Crespi-Reghizzi:1978:CGG,% Marsaglia:1976:IFM,% Calmet:1980:IRP,% Istrail:1978:TSG,% Sekey:1975:GFE% }. \NAMECITE{Generation}{% Krzemien:1976:AGL,% Pleszczynski:1975:GP,% Reddy:1972:XHS,% Sridharan:1974:CGV,% Sridharan:1975:ECG,% Zaks:1982:GRA% }. \NAMECITE{generative}{% Paun:1978:GCS% }. \NAMECITE{generator}{% Kral:1972:ENA,% Kral:1972:NAP,% Williams:1979:TCG% }. \NAMECITE{Genetic}{% Terashima:1978:GOC% }. \NAMECITE{geometrical}{% Akl:1978:CGM,% Manacher:1976:APM% }. \NAMECITE{geometry}{% Pankov:1979:SEE% }. \NAMECITE{{Geschke}}{% Matwin:1977:EIG% }. \NAMECITE{{GF}}{% Calmet:1980:IRP% }. \NAMECITE{{Ginsburg}}{% Maurer:1971:SPG% }. \NAMECITE{Given}{% Broy:1979:MSP,% Yu:1976:CFS% }. \NAMECITE{global}{% Matwin:1977:EIG% }. \NAMECITE{go}{% Knuth:1971:ENA,% Knuth:1971:NAG% }. \NAMECITE{good}{% Shaw:1977:SGA,% Tarjan:1974:GAE% }. \NAMECITE{Graceful}{% Cahit:1975:GNS,% Bongiovanni:1978:CRG,% Cahit:1977:RGP% }. \NAMECITE{{Graham}}{% Gries:1987:NGC% }. \NAMECITE{Grammar}{% Crespi-Reghizzi:1978:CGG,% Paun:1979:SLA% }. \NAMECITE{Grammars}{% Giegerich:1978:COP,% Howden:1978:LGS,% Mizumoto:1973:EFG,% Penttonen:1975:EGG,% Ridjanovic:1982:DDD,% Tarhio:1982:LPS,% Wang:1976:ERM,% Wang:1976:RMA,% Cremers:1973:NLR,% Ehrenfeucht:1979:OSG,% Ghezzi:1975:LGS,% Jantzen:1979:NVG,% Jarzabek:1975:LRG,% Krawczyk:1980:ECM,% Lukaszewicz:1977:FG,% Mandrioli:1976:RCF,% Milgram:1971:NSC,% Nijholt:1979:LRG,% Paun:1978:GCS,% Rozenberg:1972:DPU,% Rozenberg:1976:MES,% Rozenberg:1976:NIG,% Rozenberg:1976:SIG,% Slisenko:1982:CFG,% Sudborough:1977:NWO,% Sudborough:1978:NWO,% Takaoka:1974:NAC,% Ukkonen:1979:NSC% }. \NAMECITE{grammatical}{% Moura:1980:NGC% }. \NAMECITE{Grant}{% Paredaens:1980:GLA% }. \NAMECITE{Graph}{% Yao:1979:GIN,% Bhat:1980:CTG,% Corneil:1971:ADB,% Mathon:1979:NGI,% Munro:1971:EDT,% Nieminen:1975:SOD,% Roschke:1973:AOC,% Roussopoulos:1973:ADG,% Selkow:1978:NBC,% Tarjan:1974:NFB% }. \NAMECITE{Graphics}{% Reddy:1972:XHS% }. \NAMECITE{Graphs}{% Boffey:1973:AMR,% Bonuccelli:1979:MND,% Kameda:1975:VRR,% Kasyanov:1973:SPF,% Sridharan:1974:CGV,% Sridharan:1975:ECG,% Deo:1977:GLG,% Ebert:1980:NOE,% Gabow:1976:NDC,% Gabow:1976:SIB,% Gavril:1975:ATC,% Hansal:1974:SDP,% Henhapl:1973:TMG,% Hopcroft:1971:ADI,% Lipton:1978:BMC,% Mitchell:1979:LAE,% Mitchell:1979:LAR,% Muhlbacher:1979:FGG,% Nieminen:1975:HIT,% Noshita:1978:EBD% }. \NAMECITE{{Gray}}{% Kaye:1976:GCS% }. \NAMECITE{{Greedy}}{% Manacher:1979:NGN% }. \NAMECITE{{Greibach}}{% Nijholt:1979:LRG% }. \NAMECITE{group}{% Brouwer:1982:NMK,% Denning:1981:MKG,% Tarjan:1972:DWG% }. \NAMECITE{groupoid}{% Tarjan:1972:DWG% }. \NAMECITE{Growing}{% Korsh:1982:GNO% }. \NAMECITE{growth}{% Karhumaki:1973:EPS% }. \NAMECITE{{Hamiltonian}}{% Kundu:1976:LAH,% Plesnik:1979:NCH% }. \NAMECITE{handling}{% Ghezzi:1975:LGS,% Stacey:1971:RVM% }. \NAMECITE{{Hanoi}}{% Buneman:1980:THP% }. \NAMECITE{hard}{% Dobkin:1979:LPL,% Ko:1982:SOP,% Robson:1980:SAN,% Schnorr:1977:UHS,% Slisenko:1982:CFG% }. \NAMECITE{Hardcopy}{% Reddy:1972:XHS% }. \NAMECITE{harder}{% Moran:1981:NSP,% Romani:1980:SPP% }. \NAMECITE{harmonic}{% Zave:1976:SEI% }. \NAMECITE{Hash}{% Hikita:1977:AFP% }. \NAMECITE{Hashing}{% Ajtai:1978:TNF,% Goto:1977:PHA,% Sassa:1976:HMF,% Yao:1980:NAE% }. \NAMECITE{hazards}{% Zissos:1971:PSR% }. \NAMECITE{Heap}{% Friedman:1976:GCH,% Friedman:1977:EGC% }. \NAMECITE{Height}{% Maurer:1976:IDU,% Wessner:1976:OAS,% Brown:1978:SSH,% Brown:1979:ASS% }. \NAMECITE{height-balanced}{% Brown:1978:SSH,% Brown:1979:ASS% }. \NAMECITE{Heuristic}{% Arora:1980:HAP,% Findler:1972:SNH% }. \NAMECITE{Heuristics}{% Bentley:1976:HPM% }. \NAMECITE{hierarchical}{% Jakobsson:1982:EHB,% Tarjan:1982:HCA% }. \NAMECITE{hierarchies}{% Tsichritzis:1971:NCS% }. \NAMECITE{Hierarchy}{% Wang:1976:ERM,% Wang:1976:RMA% }. \NAMECITE{Higher}{% Cohen:1975:IND,% Doberkat:1982:AEH% }. \NAMECITE{Higher-Level}{% Cohen:1975:IND% }. \NAMECITE{homogeneous}{% Huet:1978:AGB% }. \NAMECITE{homomorphic}{% Nieminen:1975:HIT% }. \NAMECITE{homomorphism}{% Ehrenfeucht:1979:FHB% }. \NAMECITE{{Huffman}}{% Jakobsson:1978:HCB% }. \NAMECITE{Hull}{% Anderson:1978:REA,% Gries:1987:NGC,% Jarvis:1973:ICH,% Koplowitz:1978:MEC,% Akl:1978:FCH,% Akl:1979:TRC,% Avis:1980:CLB,% Bykat:1978:CHF,% Devai:1979:CCH,% Fournier:1979:CCH,% Graham:1972:EAD,% McCallum:1979:LAF,% Overmars:1980:FCB,% vanEmdeBoas:1980:LBC% }. \NAMECITE{hulls}{% Andrew:1979:AEA,% Andrew:1980:CAE,% Brown:1979:VDC,% Devroye:1980:NFC% }. \NAMECITE{Hybrid}{% Meijer:1980:DAN,% Rohrich:1982:HQW% }. \NAMECITE{Identification}{% Jarvis:1973:ICH,% Jackson:1974:IPM,% Sengupta:1979:ICP,% Tzafestas:1972:IOM% }. \NAMECITE{images}{% Nieminen:1975:HIT% }. \NAMECITE{Immediate}{% Fischer:1979:IED% }. \NAMECITE{Implementation}{% Czaja:1978:IAP,% Czaja:1978:PIP,% Galand:1975:SIS,% Bochmann:1976:CMD,% Gunn:1979:IC,% Prini:1979:SIS% }. \NAMECITE{implementations}{% Kessels:1979:TIC,% Laut:1980:SPI% }. \NAMECITE{Implementing}{% Maurer:1976:IDU,% Hitotumatu:1979:TIB,% Misra:1979:STT,% Sethi:1973:NIP% }. \NAMECITE{Implicit}{% DeMillo:1979:ICS% }. \NAMECITE{Imply}{% Galil:1976:TFS% }. \NAMECITE{Improved}{% Preparata:1978:IPP,% Rick:1979:IBA,% Akl:1978:IAC,% Akl:1979:AIA,% Brown:1980:IBL,% Gabow:1976:SIB,% Robson:1973:IAT,% vanLeeuwen:1974:IBD% }. \NAMECITE{improvement}{% Calmet:1980:IRP,% Hanson:1980:CIL% }. \NAMECITE{Improvements}{% Marsaglia:1976:IFM% }. \NAMECITE{inbreeding}{% Stevens:1975:ECA% }. \NAMECITE{Includes}{% Friedman:1976:GCH,% Friedman:1977:EGC% }. \NAMECITE{inclusion}{% Boasson:1973:ISC,% Kinber:1980:IPD% }. \NAMECITE{Independent}{% Lang:1976:SUL,% Slowinski:1979:CMP% }. \NAMECITE{independently}{% Endres:1977:FOP% }. \NAMECITE{index}{% Gairola:1976:DIS,% Kambayashi:1978:LSS,% Paun:1978:GCS,% Ramshaw:1977:BCN% }. \NAMECITE{indexed}{% Duske:1976:PRI% }. \NAMECITE{induction}{% Gries:1972:PI% }. \NAMECITE{Inexact}{% Pearl:1975:CIC% }. \NAMECITE{infinite}{% Engelfriet:1972:NIT,% Yuval:1976:AFA% }. \NAMECITE{infinite-precision}{% Yuval:1976:AFA% }. \NAMECITE{Inform}{% Andrew:1980:CAE,% Aspvall:1982:ELT,% Avis:1980:CLB,% Bini:1982:RPN,% Brouwer:1982:NMK,% Colbourn:1980:CCP,% Day:1980:CSM,% Fournier:1979:CCH,% Gonnet:1979:END,% Hellman:1981:ACA,% Krichevsky:1982:LEF,% Kucera:1983:EAP,% Lloyd:1980:ELS,% Meijer:1981:NCM,% Moran:1981:NSP,% Nakamura:1980:RTD,% Overmars:1980:FCB,% Tarjan:1986:SAM,% Yokomori:1985:ETR,% Yuval:1979:CSP,% vanLeeuwen:1980:ELS% }. \NAMECITE{Information}{% Cooprider:1974:ISS,% Culik:1979:SIS,% Dijkstra:1972:ISS,% Hirschberg:1978:ITL,% Salton:1973:EML,% Salton:1971:PII,% Talbert:1977:FSS,% Toussaint:1972:FEQ% }. \NAMECITE{Information-Theoretic}{% Hirschberg:1978:ITL% }. \NAMECITE{initial}{% Simovici:1979:EIF% }. \NAMECITE{Input}{% Tzafestas:1972:IOM% }. \NAMECITE{Input-output}{% Tzafestas:1972:IOM% }. \NAMECITE{Insertion}{% Peltola:1978:IMS,% Doberkat:1982:AEH% }. \NAMECITE{Inspected}{% Vikas:1979:API% }. \NAMECITE{instability}{% Bini:1982:RPN,% Tsao:1981:NIB% }. \NAMECITE{instruction}{% DalBono:1975:SFS% }. \NAMECITE{instructions}{% Bron:1972:OMB,% Sethi:1973:NIP% }. \NAMECITE{integer}{% Rivest:1979:LBN% }. \NAMECITE{Integral}{% deWolf:1975:NMS,% deWolf:1976:NSI,% Ramshaw:1977:BCN% }. \NAMECITE{integrating}{% Molchanov:1972:AIB% }. \NAMECITE{interaction}{% Ruohonen:1975:TRC% }. \NAMECITE{interactive}{% Fischer:1982:LBT,% Salton:1971:PII% }. \NAMECITE{interleaved}{% Robson:1975:SSI% }. \NAMECITE{intermediate}{% Kundu:1979:IVT% }. \NAMECITE{intermediate-value}{% Kundu:1979:IVT% }. \NAMECITE{Internal}{% Erkio:1980:IMS,% Day:1980:ISR% }. \NAMECITE{interpolation}{% Gonnet:1977:ISS,% Horowitz:1972:EFM,% Horowitz:1972:FMI,% Perl:1977:UCI% }. \NAMECITE{interpolation-sequential}{% Gonnet:1977:ISS% }. \NAMECITE{Interpretation}{% Cohen:1975:IND,% Friedman:1976:ODI,% Friedman:1979:EOD% }. \NAMECITE{intersection}{% Camerini:1975:BMI,% Edelsbrunner:1982:PIS,% Ehrenfeucht:1980:EIT% }. \NAMECITE{Interval}{% Fraenkel:1979:PSL,% Innes:1976:IAP% }. \NAMECITE{inverse}{% Kundu:1977:STN% }. \NAMECITE{Inversion}{% Preparata:1978:IPP% }. \NAMECITE{investigation}{% Matwin:1977:EIG% }. \NAMECITE{involving}{% Ruohonen:1978:NLE,% Zave:1976:SEI% }. \NAMECITE{irreducible}{% Calmet:1980:IRP,% Istrail:1978:TSG% }. \NAMECITE{isomorphism}{% Barrow:1976:SIM,% Bohm:1980:CBE,% Hopcroft:1971:ADI,% Mathon:1979:NGI,% Yao:1979:GIN% }. \NAMECITE{iteration}{% Rozenberg:1976:NIG,% Rozenberg:1976:SIG% }. \NAMECITE{Iterative}{% Molchanov:1972:IMS,% Molchanov:1973:OCI,% Gini:1982:ASI,% Shortt:1978:IPC% }. \NAMECITE{jobs}{% Slowinski:1979:CMP% }. \NAMECITE{join}{% Liu:1980:ATL% }. \NAMECITE{{Joshi}}{% Kittler:1975:DJD% }. \NAMECITE{July}{% Hellman:1981:ACA,% Meijer:1981:NCM% }. \NAMECITE{June}{% Gonnet:1979:END% }. \NAMECITE{{Kam}}{% Yao:1979:NCK% }. \NAMECITE{Keys}{% Demetrovics:1978:NCK,% Brouwer:1982:NMK,% Denning:1981:MKG,% Yu:1976:CFS% }. \NAMECITE{Known}{% vanLeeuwen:1979:CSD% }. \NAMECITE{Language}{% Chrobot:1976:LLC,% Bratko:1978:PCS,% Coy:1976:LMP,% Demolombe:1982:GDR,% Grabowski:1979:USP,% Merret:1977:RPL,% Ruohonen:1978:NLE% }. \NAMECITE{Languages}{% Cohen:1975:IND,% Crespi-Reghizzi:1978:CGG,% Friedman:1978:ESC,% Wang:1976:ERM,% Wang:1976:RMA,% vonSolms:1975:TLT,% Albert:1977:CCF,% Berry:1979:UDR,% Boasson:1973:ISC,% Duske:1976:PRI,% Ehrenfeucht:1973:LTS,% Ehrenfeucht:1980:EIT,% Grant:1977:ARE,% Grant:1977:REL,% Lee:1974:LSD,% Linna:1976:DNC,% Mehlhorn:1976:BLR,% Paun:1979:SLA,% Prini:1979:SIS,% Ruohonen:1975:TRC,% Sokolowski:1978:MPP,% Solntseff:1972:CEP,% VanLeeuwen:1975:MQE,% Veloso:1979:CRP,% Yehudai:1979:NPL,% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{largest}{% Boasson:1973:ISC% }. \NAMECITE{{Latin}}{% Bohm:1980:CBE% }. \NAMECITE{Lattices}{% Hosono:1975:CSL,% Reusch:1976:GLA% }. \NAMECITE{law}{% Hoare:1973:GCL% }. \NAMECITE{Layer}{% Chrobot:1976:LLC% }. \NAMECITE{layouts}{% Brent:1980:ABT% }. \NAMECITE{lazy}{% Hanson:1980:CIL% }. \NAMECITE{least}{% Booth:1980:LLC% }. \NAMECITE{left}{% Nijholt:1979:LRG% }. \NAMECITE{left-regular}{% Nijholt:1979:LRG% }. \NAMECITE{leftmost}{% Cremers:1973:NLR% }. \NAMECITE{lemma}{% Bergstra:1982:STL,% Caviness:1971:ELC,% Yehudai:1979:NPL% }. \NAMECITE{Length}{% Broy:1979:MSP,% Lang:1976:SUL,% Nievergelt:1972:BWP,% Kral:1972:ENA,% Kral:1972:NAP,% Lee:1974:LSD% }. \NAMECITE{{Lenstra}}{% Pajunen:1980:TTL% }. \NAMECITE{less}{% Grant:1977:ARE,% Grant:1977:REL,% vanEmdeBoas:1977:POF% }. \NAMECITE{Lett}{% Andrew:1980:CAE,% Aspvall:1982:ELT,% Avis:1980:CLB,% Bini:1982:RPN,% Brouwer:1982:NMK,% Colbourn:1980:CCP,% Day:1980:CSM,% Fournier:1979:CCH,% Gonnet:1979:END,% Hellman:1981:ACA,% Krichevsky:1982:LEF,% Kucera:1983:EAP,% Lloyd:1980:ELS,% Meijer:1981:NCM,% Moran:1981:NSP,% Overmars:1980:FCB,% Tarjan:1986:SAM,% Yokomori:1985:ETR,% Yuval:1979:CSP,% vanLeeuwen:1980:ELS% }. \NAMECITE{Letter}{% Krichevsky:1982:LEF% }. \NAMECITE{Level}{% Cohen:1975:IND% }. \NAMECITE{levels}{% Paredaens:1980:GLA% }. \NAMECITE{Lexical}{% Krzemien:1976:AGL% }. \NAMECITE{Lexicographically}{% Booth:1980:LLC% }. \NAMECITE{limit}{% Ehrenfeucht:1973:LTS% }. \NAMECITE{{Lindenmayer}}{% Howden:1978:LGS% }. \NAMECITE{Line}{% Reddy:1972:XHS,% Carroll:1972:ACA,% Deo:1977:GLG,% Nakamura:1980:RTD,% Roussopoulos:1973:ADG% }. \NAMECITE{Linear}{% Dobkin:1979:LPL,% Doyle:1976:LET,% Mitchell:1979:LAE,% Mitchell:1979:LAR,% Molchanov:1973:OCI,% Aspvall:1979:LTA,% Aspvall:1982:ELT,% Bentley:1978:DCL,% Bini:1979:LBC,% Boasson:1973:ISC,% Cockayne:1975:LAD,% Floyd:1973:LTT,% Garey:1978:LTA,% Huet:1978:AGB,% Jones:1977:NLT,% Kambayashi:1978:LSS,% Kundu:1976:LAH,% Matwin:1977:CST,% McCallum:1979:LAF,% Minker:1982:ELR,% Reiser:1978:LSA,% Rozenberg:1972:DPU,% Shiloach:1979:SLO,% Shyamasundar:1976:NLP,% Tzafestas:1972:IOM,% tenHoopen:1980:CRR,% vanEmdeBoas:1977:POF% }. \NAMECITE{linear-time}{% Aspvall:1979:LTA,% Aspvall:1982:ELT,% Garey:1978:LTA% }. \NAMECITE{Lingual}{% Salton:1973:EML% }. \NAMECITE{link}{% Banerjee:1975:DLD,% Cockayne:1979:AME% }. \NAMECITE{{LISP}}{% Clark:1978:NSL,% Ferrari:1979:DLT,% deChampeaux:1978:SFS% }. \NAMECITE{{LISP}-type}{% Ferrari:1979:DLT% }. \NAMECITE{List}{% Fisher:1974:BWG,% Lindstrom:1973:SLS,% Lloyd:1980:ELS,% Lloyd:1980:LSB,% vanLeeuwen:1980:ELS,% Clark:1978:NSL,% Leung:1979:BLS% }. \NAMECITE{Lists}{% Fraenkel:1979:PSL,% Lyon:1979:BSS,% Franklin:1979:PLS,% Hansen:1978:PAO,% Itai:1979:RAC,% Shiloach:1979:FEC% }. \NAMECITE{Literate}{% Knuth:1992:LP% }. \NAMECITE{{LL}}{% Ghezzi:1975:LGS,% Jarzabek:1975:LRG% }. \NAMECITE{{LL}-regular}{% Jarzabek:1975:LRG% }. \NAMECITE{Local}{% Culik:1978:DLC% }. \NAMECITE{Locality}{% Innes:1976:IAP,% Tsur:1978:AQN% }. \NAMECITE{Locality-Transition}{% Tsur:1978:AQN% }. \NAMECITE{locally}{% Kobuchi:1977:TCT% }. \NAMECITE{Location}{% Lee:1979:LMP% }. \NAMECITE{log}{% Dobkin:1979:LPL,% Gries:1980:CFN% }. \NAMECITE{log-space}{% Dobkin:1979:LPL% }. \NAMECITE{logarithmic}{% Mehlhorn:1976:BLR,% vanEmdeBoas:1977:POF% }. \NAMECITE{logic}{% FarinasDelCerro:1982:SDM,% Harel:1979:ETR,% Harel:1979:TRP,% Henno:1979:DMF,% Leiss:1980:NSS,% Merret:1978:QLS% }. \NAMECITE{logical}{% Coy:1976:LMP,% Hansen:1976:CAL,% Hansen:1976:ECA% }. \NAMECITE{Long}{% Findler:1972:SNH% }. \NAMECITE{Long-Term}{% Findler:1972:SNH% }. \NAMECITE{Longest}{% Hirschberg:1978:ITL% }. \NAMECITE{Loop}{% Duncan:1975:LUP,% Cherniavsky:1979:FTD% }. \NAMECITE{looping}{% vanLeeuwen:1974:IBD% }. \NAMECITE{loops}{% Fridman:1979:ALS% }. \NAMECITE{lossless}{% Liu:1980:ATL% }. \NAMECITE{Lower}{% Bini:1979:LBC,% Hirschberg:1978:ITL,% Avis:1980:CLB,% Banachowski:1980:CTR,% Brown:1980:IBL,% Fischer:1982:LBT,% Ramshaw:1977:BCN,% Rivest:1979:LBN,% vanEmdeBoas:1980:LBC% }. \NAMECITE{{LR}}{% Tarhio:1982:LPS% }. \NAMECITE{Machine}{% Buda:1979:GSM,% Bron:1972:OMB,% Deimel:1974:RCP% }. \NAMECITE{machines}{% Steckelberg:1977:RBA% }. \NAMECITE{{Manacher}}{% Akl:1978:CGM% }. \NAMECITE{Manage}{% Friedman:1979:RCC% }. \NAMECITE{management}{% Merret:1971:GPM% }. \NAMECITE{many}{% Borodin:1971:EPM% }. \NAMECITE{map}{% Williams:1980:CMC% }. \NAMECITE{Maps}{% Buda:1979:GSM,% Williams:1980:BSB% }. \NAMECITE{March}{% Tarjan:1986:SAM% }. \NAMECITE{{Margulis}}{% Angluin:1979:NCM% }. \NAMECITE{marked}{% Henhapl:1973:TMG% }. \NAMECITE{marking}{% Dershowitz:1980:SMA% }. \NAMECITE{Master}{% Brouwer:1982:NMK,% Denning:1981:MKG% }. \NAMECITE{Match}{% Bentley:1976:HPM% }. \NAMECITE{Matching}{% Galil:1976:TFS,% Akl:1978:CGM,% Barrow:1976:SIM,% Bird:1977:TDP,% Gavril:1977:TEB,% Manacher:1976:APM,% Muhlbacher:1979:FGG% }. \NAMECITE{Mathematical}{% Lazos:1975:CSR,% Loizou:1979:MSD% }. \NAMECITE{mathematics}{% Caviness:1971:ELC% }. \NAMECITE{Matrices}{% Preparata:1980:AOV,% Barlow:1982:PMD,% Colbourn:1979:CSM,% Colbourn:1980:CCP,% Ibarra:1980:NPC,% Schachtel:1978:NAM% }. \NAMECITE{Matrix}{% Madsen:1976:MMD,% Preparata:1978:IPP,% Bini:1979:CAM,% Colbourn:1980:CCP,% Makarov:1979:UDC,% Moran:1981:NSP,% Paun:1978:GCS,% Paun:1979:SLA,% Pettorossi:1980:DAC,% Romani:1980:SPP% }. \NAMECITE{matroid}{% Camerini:1975:BMI% }. \NAMECITE{Mauceri}{% Krichevsky:1982:LEF% }. \NAMECITE{Max}{% Camerini:1978:MMS% }. \NAMECITE{Maximal}{% Wessner:1976:OAS,% Avis:1980:CLB,% Barrow:1976:SIM,% Devroye:1980:NFC,% Mitchell:1979:LAR,% vanEmdeBoas:1980:LBC% }. \NAMECITE{Maximum}{% Broy:1979:MSP,% Gavril:1977:TEB,% Malhotra:1978:AFM,% McColl:1978:MDM% }. \NAMECITE{meaning}{% Coy:1976:LMP% }. \NAMECITE{measure}{% Kittler:1975:DJD,% Oulsnam:1979:CND% }. \NAMECITE{measures}{% vanderKnijff:1979:CCB% }. \NAMECITE{mechanical}{% Moore:1979:MPT% }. \NAMECITE{mechanism}{% Delcour:1976:EAC,% Devillers:1978:GMA,% Henhapl:1971:RTM,% Paredaens:1980:GLA% }. \NAMECITE{Median}{% Noshita:1974:MSE,% Eberlein:1979:NMS% }. \NAMECITE{meet}{% Blazewicz:1977:SAM% }. \NAMECITE{membership}{% Luk:1979:PMM,% VanLeeuwen:1975:MQE% }. \NAMECITE{Memories}{% Dasgupta:1975:MCM,% Minsky:1973:RBT,% Chung:1980:NPA% }. \NAMECITE{Memory}{% Findler:1972:SNH,% Fraenkel:1979:PSL,% Sassa:1977:VTV,% Chung:1980:MNS,% Kucera:1982:PCC,% Kucera:1983:EAP,% Rajaraman:1977:FFB,% Robson:1975:SSI,% Stacey:1971:RVM% }. \NAMECITE{Merge}{% Peltola:1978:IMS,% Erkio:1980:IMS,% Floyd:1973:LTT% }. \NAMECITE{Merging}{% vanderNat:1979:BMP,% Barnett:1973:TRC% }. \NAMECITE{Method}{% Sassa:1976:HMF,% Barnett:1973:TRC,% Bui:1977:SMS,% Bui:1979:ESM,% Day:1980:CSM,% FarinasDelCerro:1982:SDM,% Gairola:1976:DIS,% Holnapy:1973:GMF,% Horowitz:1972:EFM,% Horowitz:1972:FMI,% Kittler:1977:MDC,% Lipton:1978:BMC,% Matwin:1977:EIG,% Pettorossi:1980:DAC,% Sokolowski:1978:MPP,% Stoyan:1979:MMS,% Teuhola:1978:CMC,% Williams:1980:BSB% }. \NAMECITE{Methodical}{% Broy:1979:MSP% }. \NAMECITE{Methods}{% Marsaglia:1976:IFM,% Molchanov:1973:OCI,% deWolf:1975:NMS,% Day:1980:ISR,% Molchanov:1972:IMS% }. \NAMECITE{micro}{% Jackson:1974:IPM% }. \NAMECITE{micro-operations}{% Jackson:1974:IPM% }. \NAMECITE{Microprogramming}{% Luque:1980:TAM% }. \NAMECITE{{Miller}}{% Lenstra:1979:MPT% }. \NAMECITE{Min}{% Camerini:1978:MMS% }. \NAMECITE{Min-Max}{% Camerini:1978:MMS% }. \NAMECITE{Minimal}{% Lagarias:1982:MSR,% Nath:1982:PAC,% Warren:1973:MCS,% Slowinski:1979:CMP% }. \NAMECITE{Minimax}{% Boffey:1973:AMR% }. \NAMECITE{Minimization}{% Dasgupta:1975:MCM,% Stoyan:1979:MMS% }. \NAMECITE{{Minimizing}}{% Christensen:1975:CME% }. \NAMECITE{Minimum}{% Bonuccelli:1979:MND,% Chung:1980:MNS,% Johnson:1975:PQU,% Rohlf:1978:PMS,% Chroust:1972:EEM,% Dewar:1974:SMS,% Gavril:1977:TEB,% Tarjan:1982:SAM,% Tarjan:1986:SAM,% Yao:1975:AFM,% Yao:1975:VAF% }. \NAMECITE{Mixed}{% Molchanov:1973:CDS,% Prini:1979:SIS% }. \NAMECITE{modal}{% FarinasDelCerro:1982:SDM% }. \NAMECITE{Model}{% Arnborg:1974:ACM,% Grant:1979:PVT,% Lazos:1975:CSR,% Campbell:1974:OUS% }. \NAMECITE{modeling}{% Tzafestas:1972:IOM% }. \NAMECITE{Models}{% Reusch:1976:GLA% }. \NAMECITE{modes}{% Langmaack:1979:FTP,% Scheiding:1971:REM% }. \NAMECITE{modification}{% Jovanovich:1974:NMF% }. \NAMECITE{modified}{% Tang:1973:MBB% }. \NAMECITE{module}{% Arora:1979:MAT% }. \NAMECITE{moments}{% Doberkat:1982:AEH% }. \NAMECITE{monitor}{% Bochmann:1976:CMD% }. \NAMECITE{monotone}{% Henno:1979:DMF,% McColl:1978:MDM% }. \NAMECITE{Monotonic}{% Wang:1976:ERM,% Wang:1976:RMA% }. \NAMECITE{{Monte}}{% Beretta:1982:MCE% }. \NAMECITE{morphisms}{% Ruohonen:1978:NLE,% Watjen:1982:AVE% }. \NAMECITE{{Morris}}{% Annot:1986:CMS% }. \NAMECITE{most}{% Cockayne:1979:AME,% Warren:1973:MCS% }. \NAMECITE{MR}{% Aspvall:1982:ELT,% Bini:1982:RPN,% Brouwer:1982:NMK,% Colbourn:1980:CCP,% Fournier:1979:CCH,% Krichevsky:1982:LEF,% Kucera:1983:EAP,% Lloyd:1980:ELS,% Moran:1981:NSP,% Nakamura:1980:RTD,% Overmars:1980:FCB,% Yokomori:1985:ETR,% vanLeeuwen:1980:ELS,% Day:1980:CSM% }. \NAMECITE{Multi}{% Salton:1973:EML% }. \NAMECITE{Multi-Lingual}{% Salton:1973:EML% }. \NAMECITE{Multidimensional}{% Orenstein:1982:MTU,% Raghavan:1977:NMS% }. \NAMECITE{multigraphs}{% Shiloach:1979:EDB% }. \NAMECITE{multihead}{% Ibarra:1974:NSS% }. \NAMECITE{Multiple}{% Boari:1978:EMA,% Boari:1978:MAT,% Samadi:1976:TSM,% Hellman:1981:ACA,% Lee:1979:LMP,% Luccio:1980:CMC,% Meertens:1976:SST,% Meijer:1981:NCM,% Pritchard:1976:PRM% }. \NAMECITE{Multiplication}{% Madsen:1976:MMD,% Bini:1979:CAM,% Moran:1981:NSP,% Pettorossi:1980:DAC,% Romani:1980:SPP,% deGroote:1975:CQM% }. \NAMECITE{multiplications}{% Schachtel:1978:NAM,% Yuval:1976:AFA% }. \NAMECITE{Multiplying}{% Preparata:1980:AOV,% Schachtel:1978:NAM% }. \NAMECITE{multiprocessor}{% Blazewicz:1977:SAM% }. \NAMECITE{Multiprogramming}{% Lazos:1975:CSR% }. \NAMECITE{multisection}{% Barlow:1982:PMD% }. \NAMECITE{multiserver}{% Tzafestas:1972:DPM% }. \NAMECITE{multitape}{% Kinber:1980:IPD% }. \NAMECITE{multivalued}{% Henno:1979:DMF,% Luk:1979:PMM% }. \NAMECITE{multivariate}{% Valiant:1980:CMP% }. \NAMECITE{mutational}{% Krawczyk:1980:ECM% }. \NAMECITE{Mutual}{% Friedman:1979:RCC,% Annot:1986:CMS,% Morris:1979:SFS,% Toussaint:1972:FEQ% }. \NAMECITE{N}{% Bini:1982:RPN% }. \NAMECITE{near}{% Bentley:1977:CFF,% Bentley:1979:NEN,% Yuval:1975:FNN% }. \NAMECITE{nearest}{% Fortune:1979:NRN,% Fournier:1979:CAN,% Lee:1978:ANN,% Yang:1979:NAN,% Yuval:1976:FNN% }. \NAMECITE{nearest-neighbor}{% Fortune:1979:NRN,% Fournier:1979:CAN,% Lee:1978:ANN,% Yang:1979:NAN% }. \NAMECITE{nearly}{% Korsh:1982:GNO% }. \NAMECITE{necessary}{% Rivest:1979:LBN% }. \NAMECITE{neighbor}{% Bentley:1979:NEN,% Fortune:1979:NRN,% Fournier:1979:CAN,% Lee:1978:ANN,% Yang:1979:NAN% }. \NAMECITE{neighbors}{% Bentley:1977:CFF% }. \NAMECITE{neighbours}{% Yuval:1975:FNN,% Yuval:1976:FNN% }. \NAMECITE{Neither}{% Manacher:1979:NGN% }. \NAMECITE{ness}{% Linna:1976:DNC% }. \NAMECITE{nestling}{% Kundu:1977:STN% }. \NAMECITE{net}{% Grabowski:1979:USP,% Molchanov:1972:IMS% }. \NAMECITE{Nets}{% Devillers:1973:RPN,% Peterson:1980:NCP% }. \NAMECITE{network}{% Cahit:1977:RGP,% Cockayne:1979:AME,% Shiloach:1979:SLO% }. \NAMECITE{Networks}{% Findler:1972:SNH,% Karayiannis:1978:CDC,% Preparata:1980:AOV,% Tsur:1978:AQN,% Chandy:1979:DAP,% Malhotra:1978:AFM% }. \NAMECITE{No}{% Ajtai:1978:TNF,% Andrew:1980:CAE,% Aspvall:1982:ELT,% Bini:1982:RPN,% Brouwer:1982:NMK,% Colbourn:1980:CCP,% Day:1980:CSM,% Fournier:1979:CCH,% Krichevsky:1982:LEF,% Kucera:1983:EAP,% Lloyd:1980:ELS,% Moran:1981:NSP,% Nakamura:1980:RTD,% Overmars:1980:FCB,% Yokomori:1985:ETR,% Yuval:1979:CSP,% vanLeeuwen:1980:ELS% }. \NAMECITE{Node}{% Bonuccelli:1979:MND,% Gavril:1977:TEB% }. \NAMECITE{Noiselike}{% Feyock:1976:NTE% }. \NAMECITE{Non}{% Cohen:1975:IND,% Crespi-Reghizzi:1978:CGG,% Francez:1973:NCC,% Molchanov:1973:OCI,% Allison:1978:PSN,% Molchanov:1972:AIB,% Probert:1976:CNC,% Ramshaw:1977:BCN,% Schnorr:1977:UHS,% Sokolowski:1978:MPP,% Winkowski:1977:ACB,% Winkowski:1978:EAC% }. \NAMECITE{non-commutativity}{% Probert:1976:CNC% }. \NAMECITE{Non-Compactness}{% Francez:1973:NCC% }. \NAMECITE{Non-Consistent}{% Molchanov:1973:OCI% }. \NAMECITE{Non-Counting}{% Crespi-Reghizzi:1978:CGG% }. \NAMECITE{non-determinism}{% Allison:1978:PSN% }. \NAMECITE{Non-Deterministic}{% Cohen:1975:IND,% Schnorr:1977:UHS% }. \NAMECITE{non-integral}{% Ramshaw:1977:BCN% }. \NAMECITE{non-sequential}{% Winkowski:1977:ACB,% Winkowski:1978:EAC% }. \NAMECITE{non-unique}{% Molchanov:1972:AIB% }. \NAMECITE{noncommutative}{% Schachtel:1978:NAM% }. \NAMECITE{nondeterministic}{% Majster-Cederbaum:1980:SRB,% Upfal:1982:FCP% }. \NAMECITE{nonexistence}{% Ukkonen:1979:NSC% }. \NAMECITE{Nonisomorphic}{% Dinic:1977:NTS% }. \NAMECITE{nonlinear}{% Whale:1972:CVB% }. \NAMECITE{nor}{% Manacher:1979:NGN% }. \NAMECITE{Normal}{% Marsaglia:1976:IFM,% Osborn:1979:TEC,% Kandzia:1980:CBC,% Nijholt:1979:LRG,% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{normalization}{% Srinivasan:1979:NRD% }. \NAMECITE{Notational}{% Solntseff:1974:NDD% }. \NAMECITE{Note}{% Findler:1972:SNH,% Gries:1987:NGC,% Inoue:1978:NTF,% Jovanovich:1974:NMF,% Yao:1980:NAE,% Abelson:1979:NTS,% Angluin:1979:NCM,% Bentley:1979:NEN,% Best:1979:NPC,% Brouwer:1982:NMK,% Caviness:1978:NCA,% Cherniavsky:1979:NCT,% Clark:1978:NSL,% Coffman:1973:NRP,% Cremers:1973:NLR,% Cunningham:1976:NSD,% Dershowitz:1979:NSO,% Devroye:1980:NFC,% Eberlein:1979:NMS,% Ebert:1980:NOE,% Engelfriet:1972:NIT,% Fortune:1979:NRN,% Gabow:1976:NDC,% Ibarra:1974:NSS,% Ibarra:1980:NPC,% Inoue:1979:NBP,% Inoue:1979:NCC,% Inoue:1980:NDP,% Jantzen:1979:NVG,% Jones:1977:NLT,% Kobayashi:1974:NEE,% Kral:1973:NNS,% Krishnamurthy:1976:NPF,% Lawler:1976:NCC,% Leiss:1980:NSS,% Leung:1980:NPS,% Loui:1980:NPG,% Mathon:1979:NGI,% Meijer:1981:NCM,% Milgram:1971:NSC,% Moran:1981:NSP,% Moura:1980:NGC,% Nozaki:1979:NCA,% Peterson:1980:NCP,% Raghavan:1977:NMS,% Reising:1979:NRF,% Rosenberg:1979:NPE,% Rowicki:1975:NOS,% Rowicki:1977:NOP,% Rozenberg:1976:NIG,% Ruohonen:1978:NLE,% Sethi:1973:NIP,% Shyamasundar:1976:NLP,% Sudborough:1977:NWO,% Sudborough:1978:NWO,% Takaoka:1974:NAC,% Tarjan:1974:NFB,% Tsichritzis:1971:NCS,% Yang:1979:NAN,% Yao:1979:NCK,% Yehudai:1979:NPL% }. \NAMECITE{Notes}{% Gonnet:1978:NDA,% Gonnet:1979:END,% Knuth:1971:ENA,% Knuth:1971:NAG% }. \NAMECITE{{NP}}{% Ehrenfeucht:1979:FHB,% Hyafil:1976:COB,% Ko:1982:SOP,% Plesnik:1979:NCH,% Robson:1980:SAN,% Simovici:1979:EIF,% Yao:1979:GIN% }. \NAMECITE{{NP}-complete}{% Ehrenfeucht:1979:FHB,% Hyafil:1976:COB,% Simovici:1979:EIF,% Yao:1979:GIN% }. \NAMECITE{{NP}-completeness}{% Plesnik:1979:NCH% }. \NAMECITE{{NP}-hard}{% Ko:1982:SOP,% Robson:1980:SAN% }. \NAMECITE{Null}{% Grant:1977:NVR% }. \NAMECITE{Number}{% Demetrovics:1978:NCK,% Backhouse:1982:WNS,% Chung:1980:MNS,% Cockayne:1975:LAD,% Gabow:1976:SIB,% Kral:1972:ENA,% Kral:1972:NAP,% Kral:1973:NNS,% Kundu:1976:LAH,% Lawler:1976:NCC,% Nieminen:1975:SOD,% Rivest:1979:LBN,% Roschke:1973:AOC,% Selkow:1978:NBC% }. \NAMECITE{Numbering}{% Cahit:1975:GNS% }. \NAMECITE{numbers}{% Gries:1980:CFN,% Oulsnam:1979:CND,% Pettorossi:1980:DAC,% Shamir:1979:FNA,% Shortt:1978:IPC,% Zave:1976:SEI% }. \NAMECITE{Numerical}{% Heuer:1973:NSB,% Varhegyi:1973:NDE,% deWolf:1975:NMS,% deWolf:1976:NSI,% Anderssen:1975:RND,% Beretta:1982:MCE,% Bini:1982:RPN,% Tsao:1981:NIB% }. \NAMECITE{observation}{% Ehrenfeucht:1979:OSG% }. \NAMECITE{observations}{% Brown:1979:SOR,% Ko:1982:SOP,% Nieminen:1975:SOD% }. \NAMECITE{Obtaining}{% Molchanov:1973:OCI,% Roschke:1973:AOC% }. \NAMECITE{occurrences}{% SangAjang:1979:EAD% }. \NAMECITE{odd}{% Ebert:1980:NOE% }. \NAMECITE{off}{% Misra:1979:STT% }. \NAMECITE{omission}{% Baker:1972:UOA% }. \NAMECITE{on-line}{% Carroll:1972:ACA,% Nakamura:1980:RTD% }. \NAMECITE{One}{% Giegerich:1978:COP,% Lipski:1977:OMP,% Molchanov:1973:OCI,% Umeo:1982:DOW,% Boasson:1973:ISC,% Frederickson:1980:PAS,% Pankov:1979:SEE,% Turner:1977:EDR% }. \NAMECITE{one-}{% Frederickson:1980:PAS% }. \NAMECITE{one-counter}{% Boasson:1973:ISC% }. \NAMECITE{One-Pass}{% Giegerich:1978:COP% }. \NAMECITE{One-Way}{% Umeo:1982:DOW% }. \NAMECITE{only}{% Siklossy:1972:FRO% }. \NAMECITE{open}{% Slowinski:1979:CMP% }. \NAMECITE{operating}{% Madsen:1977:EFD,% Tsichritzis:1972:POS,% Varney:1972:PPU,% Zelkowitz:1974:SOS% }. \NAMECITE{Operations}{% Sassa:1976:HMF,% Solntseff:1974:NDD,% Franklin:1979:PLS,% Inoue:1979:NCC,% Jackson:1974:IPM,% Misra:1979:STT,% Shortt:1978:IPC% }. \NAMECITE{operator}{% Levy:1975:COP,% Sudborough:1977:NWO,% Sudborough:1978:NWO,% Williams:1977:COP% }. \NAMECITE{operators}{% Elgot:1982:SSA% }. \NAMECITE{Optimal}{% Arora:1978:EOP,% Campbell:1974:OUS,% Misra:1975:OCP,% Preparata:1980:AOV,% Wessner:1976:OAS,% Arora:1978:ODP,% Bentley:1976:AOA,% Endres:1977:FOP,% Hyafil:1976:COB,% King:1982:OAS,% Knuth:1972:EOS,% Korsh:1982:GNO,% Krepyshev:1972:SDO,% Manacher:1979:NGN,% Roschke:1973:AOC,% Rowicki:1975:NOS,% Rowicki:1977:NOP,% tenHoopen:1980:CRR% }. \NAMECITE{Optimisation}{% Middleton:1974:COP% }. \NAMECITE{optimised}{% Banatre:1977:POC% }. \NAMECITE{Optimization}{% Hoare:1974:OSS,% Lozinskii:1976:PSO,% Matwin:1977:EIG,% Raiha:1977:OAS% }. \NAMECITE{optimizing}{% Matwin:1977:CST% }. \NAMECITE{Optimum}{% Natarajan:1978:ODW,% Kundu:1979:IVT% }. \NAMECITE{Order}{% Fisher:1974:BWG,% Ibarra:1980:NPC,% Pettorossi:1980:DAC,% Terashima:1978:GOC,% vanEmdeBoas:1977:POF% }. \NAMECITE{order-}{% Pettorossi:1980:DAC% }. \NAMECITE{ordered}{% Hansen:1978:PAO% }. \NAMECITE{orderings}{% Dershowitz:1979:NSO,% Shiloach:1979:SLO% }. \NAMECITE{organisation}{% Sengupta:1979:ICP% }. \NAMECITE{organization}{% Banerjee:1975:DLD,% Zelkowitz:1974:SOS% }. \NAMECITE{Oriented}{% Bayer:1972:OBT,% Middleton:1974:COP,% Sassa:1977:VTV% }. \NAMECITE{Other}{% Cooprider:1974:ISS,% Culik:1978:DLC,% Delcour:1976:EAC% }. \NAMECITE{outerplanar}{% Mitchell:1979:LAR% }. \NAMECITE{Outline}{% Bron:1972:OMB% }. \NAMECITE{Output}{% Friedman:1976:ODI,% Friedman:1979:EOD,% Tzafestas:1972:IOM% }. \NAMECITE{packing}{% Frederickson:1980:PAS% }. \NAMECITE{Padded}{% Franklin:1979:PLS% }. \NAMECITE{page}{% Brandwajn:1977:SPD,% Itano:1979:RPS% }. \NAMECITE{page-on-demand}{% Brandwajn:1977:SPD% }. \NAMECITE{pages}{% Endres:1977:FOP% }. \NAMECITE{Pagination}{% Innes:1976:IAP% }. \NAMECITE{Paging}{% Arora:1978:EOP,% Itano:1979:RPS,% vanDam:1972:SDP% }. \NAMECITE{pair}{% Dyer:1980:FPA,% Makarov:1979:UDC% }. \NAMECITE{Paired}{% Fraenkel:1979:PSL% }. \NAMECITE{Palindrome}{% Galil:1976:TFS% }. \NAMECITE{Palindrome-Recognition}{% Galil:1976:TFS% }. \NAMECITE{paper}{% Bini:1982:RPN,% Colbourn:1980:CCP% }. \NAMECITE{Parallel}{% Barlow:1982:PMD,% Czaja:1978:PIP,% Czaja:1980:DFP,% Goto:1977:PHA,% Kucera:1982:PCC,% Kucera:1983:EAP,% Madsen:1976:MMD,% Nath:1982:PAC,% Preparata:1978:IPP,% Rosenfeld:1973:PSA,% Barak:1976:PED,% Czaja:1978:IAP,% Czaja:1979:SPP,% Delcour:1976:EAC,% Dyer:1980:FPA,% Ibarra:1980:NPC,% Jackson:1974:IPM,% Kawai:1980:FSP,% Sethi:1973:NIP,% Valiant:1980:CMP,% Zuczek:1977:USP% }. \NAMECITE{Parallel/Sequential}{% Rosenfeld:1973:PSA% }. \NAMECITE{parameter}{% Whale:1972:CVB% }. \NAMECITE{parameters}{% Tzafestas:1972:DPM% }. \NAMECITE{parsers}{% Fischer:1979:IED% }. \NAMECITE{Parsing}{% Tarhio:1982:LPS% }. \NAMECITE{Part}{% Galand:1975:SIS% }. \NAMECITE{Partial}{% Bentley:1976:HPM,% Grant:1979:PVT,% Engelfriet:1978:TTP,% Ershov:1977:PCP% }. \NAMECITE{Partial-Match}{% Bentley:1976:HPM% }. \NAMECITE{Partitioning}{% Dobosiewicz:1978:SDP,% Huits:1979:PSD,% vanderNat:1979:BMP,% Allison:1980:SDP,% Burton:1978:CSD,% Dobosiewicz:1978:ARW,% Jackowski:1979:CSD% }. \NAMECITE{partitions}{% Kaye:1976:GCS,% Misra:1975:OCP% }. \NAMECITE{{Pascal}}{% Hansen:1975:UTC% }. \NAMECITE{Pass}{% Giegerich:1978:COP,% Turner:1977:EDR% }. \NAMECITE{Path}{% Bonuccelli:1979:MND,% Czaja:1978:PIP,% Karayiannis:1978:CDC,% Nievergelt:1972:BWP,% Moran:1981:NSP,% Noshita:1978:EBD,% Romani:1980:SPP,% Tarjan:1982:SAM,% Tarjan:1986:SAM% }. \NAMECITE{paths}{% Rosenberg:1979:NPE,% Yuval:1976:AFA% }. \NAMECITE{pattern}{% Akl:1978:CGM,% Bird:1977:TDP,% Duske:1976:PRI,% Manacher:1976:APM% }. \NAMECITE{{Patterson}}{% Franchi-Zannettacci:1982:ETS% }. \NAMECITE{{PD2L}}{% Karhumaki:1973:EPS% }. \NAMECITE{{PD2L}-system}{% Karhumaki:1973:EPS% }. \NAMECITE{pebble}{% Loui:1980:NPG% }. \NAMECITE{performance}{% Coffman:1973:NRP,% Salton:1971:PII% }. \NAMECITE{periodic}{% Leung:1980:NPS% }. \NAMECITE{Periodically}{% Vikas:1979:API% }. \NAMECITE{Periodicity}{% Hikita:1977:AFP% }. \NAMECITE{permutation}{% Cahit:1977:RGP,% Chung:1980:MNS,% Chung:1980:NPA,% Kundu:1977:STN,% Rotem:1975:CBB,% Stoyan:1979:MMS% }. \NAMECITE{Permutations}{% Pleszczynski:1975:GP,% Bongiovanni:1978:CRG% }. \NAMECITE{persistence}{% Grabowski:1980:DPV% }. \NAMECITE{{Petri}}{% Devillers:1973:RPN,% Grabowski:1979:USP,% Peterson:1980:NCP% }. \NAMECITE{Phrase}{% Allison:1978:PSN% }. \NAMECITE{{PL}}{% Hansal:1974:SDP% }. \NAMECITE{{PL/1}}{% Hansal:1974:SDP% }. \NAMECITE{placement}{% Endres:1977:FOP% }. \NAMECITE{Planar}{% Anderson:1978:REA,% Kameda:1975:VRR,% Graham:1972:EAD,% Hopcroft:1971:ADI,% Lee:1979:LMP,% Lipton:1978:BMC,% Manacher:1979:NGN,% Plesnik:1979:NCH,% Williams:1980:BSB% }. \NAMECITE{Plane}{% Jarvis:1973:ICH,% Molchanov:1973:CDS,% Bentley:1979:NEN% }. \NAMECITE{Point}{% Reiser:1975:EDF,% Reiser:1975:EED,% Lassez:1982:FPT,% Manacher:1979:NGN% }. \NAMECITE{Pointer}{% Solntseff:1974:NDD% }. \NAMECITE{Pointer-Free}{% Solntseff:1974:NDD% }. \NAMECITE{pointers}{% Schwartz:1979:AAP% }. \NAMECITE{Points}{% Jarvis:1973:ICH,% Borodin:1971:EPM,% Bykat:1978:CHF,% Devai:1979:CCH,% Fournier:1979:CCH,% Lee:1979:LMP,% Overmars:1980:FCB% }. \NAMECITE{policies}{% Coffman:1973:NRP% }. \NAMECITE{Polygon}{% Garey:1978:TSP,% Akl:1978:IAC,% Akl:1979:AIA,% Bykat:1979:PS,% McCallum:1979:LAF% }. \NAMECITE{Polygonal}{% Edelsbrunner:1982:PIS% }. \NAMECITE{polygons}{% Fournier:1979:CAN,% Lee:1978:ANN,% Yang:1979:NAN% }. \NAMECITE{Polynomial}{% Santoro:1976:FTS,% Weihrauch:1975:PSP,% Akritas:1979:SPE,% Chin:1977:FEE,% Dinic:1977:NTS,% Lipski:1977:OMP,% Shaw:1977:SGA,% Slisenko:1982:CFG% }. \NAMECITE{polynomial-time}{% Slisenko:1982:CFG% }. \NAMECITE{polynomially}{% VanLeeuwen:1975:MQE% }. \NAMECITE{polynomials}{% Borodin:1971:EPM,% Calmet:1980:IRP,% Hyafil:1975:ACS,% Nozaki:1979:NCA,% Rivest:1979:LBN,% Valiant:1980:CMP% }. \NAMECITE{{Pope}}{% Collins:1977:APS% }. \NAMECITE{Possible}{% Luk:1979:PMM% }. \NAMECITE{{Post}}{% Hughes:1978:EVA% }. \NAMECITE{Potential}{% deWolf:1975:NMS,% deWolf:1976:NSI% }. \NAMECITE{power}{% Deimel:1974:RCP,% Paredaens:1978:EPR,% Schmitt:1982:CPF,% Veloso:1979:CRP% }. \NAMECITE{power-bounded}{% Veloso:1979:CRP% }. \NAMECITE{pp}{% Avis:1980:CLB,% Gonnet:1979:END,% Hellman:1981:ACA,% Meijer:1981:NCM,% Tarjan:1986:SAM% }. \NAMECITE{Practical}{% Dobosiewicz:1979:PSD,% Huits:1979:PSD,% Duncan:1975:LUP% }. \NAMECITE{precedence}{% Krishnamurthy:1976:NPF,% Levy:1975:COP,% Shyamasundar:1976:NLP,% Sudborough:1977:NWO,% Sudborough:1978:NWO,% Williams:1977:COP,% Zimmer:1972:SP% }. \NAMECITE{precision}{% Yuval:1976:AFA% }. \NAMECITE{preconditioning}{% Horowitz:1972:EFM,% Horowitz:1972:FMI% }. \NAMECITE{predecessor}{% Hansen:1978:PAO% }. \NAMECITE{predicate}{% Francez:1977:CFP,% Majster-Cederbaum:1980:SRB,% Merret:1978:QLS% }. \NAMECITE{preemptive}{% Leung:1980:NPS,% Rowicki:1977:NOP,% Slowinski:1979:CMP% }. \NAMECITE{prefix}{% Krichevsky:1982:LEF,% Mauceri:1981:FCC,% Veloso:1979:CRP% }. \NAMECITE{prepaging}{% Arora:1978:ODP% }. \NAMECITE{Preserving}{% Fisher:1974:BWG,% vanEmdeBoas:1977:POF% }. \NAMECITE{primality}{% Lenstra:1979:MPT% }. \NAMECITE{Primitives}{% Dolev:1978:CRS,% DeMillo:1979:ICS,% Vantilborgh:1972:EDS% }. \NAMECITE{Principle}{% deWolf:1976:NSI,% Ershov:1977:PCP% }. \NAMECITE{priori\}}{% Krepyshev:1972:SDO% }. \NAMECITE{Priority}{% Johnson:1975:PQU,% Varney:1972:PPU% }. \NAMECITE{Probabilistic}{% Frederickson:1980:PAS,% Rohlf:1978:PMS,% Calmet:1980:IRP,% DeMillo:1978:PRA,% Ko:1982:SOP,% Leiss:1980:NSS% }. \NAMECITE{Problem}{% Broy:1979:MSP,% Camerini:1978:MMS,% Guida:1976:SPR,% Heuer:1973:NSB,% Hirschberg:1978:ITL,% Molchanov:1973:CDS,% Akl:1978:CGM,% Annot:1986:CMS,% Banachowski:1980:CTR,% Boari:1978:EMA,% Boari:1978:MAT,% Buneman:1980:THP,% Dyer:1980:FPA,% Ehrenfeucht:1980:EIT,% Fournier:1979:CAN,% Kinber:1980:IPD,% Krogdahl:1973:DSA,% Langmaack:1979:FTP,% Lao:1979:NDS,% Lawler:1976:NCC,% Lee:1978:ANN,% Lipski:1977:OMP,% Lozinskii:1976:PSO,% Manacher:1976:APM,% Mathon:1979:NGI,% Maurer:1971:SPG,% Minker:1974:EAP,% Moran:1981:NSP,% Morris:1979:SFS,% Muhlbacher:1979:FGG,% Pankov:1979:SEE,% Plesnik:1979:NCH,% Raghavan:1977:NMS,% Reddi:1977:ASC,% Robson:1975:SSI,% Robson:1979:ECP,% Romani:1980:SPP,% Rozenberg:1972:DPU,% Rozenberg:1972:EEP,% Rozenberg:1972:EPD,% Ruohonen:1979:DFD,% Selkow:1977:TTE,% Simovici:1979:EIF,% Yang:1979:NAN,% Yuval:1973:PCT% }. \NAMECITE{Problems}{% Bentley:1979:DSP,% Czaja:1980:DFP,% Friedman:1978:ESC,% Nath:1982:PAC,% Umeo:1982:DOW,% deWolf:1975:NMS,% deWolf:1976:NSI,% Bertoni:1979:TEA,% Boari:1976:SPD,% Camerini:1975:BMI,% Cohen:1977:ASC,% Czaja:1979:SPP,% Edelsbrunner:1982:ESR,% Glushkov:1978:CPT,% Grabowski:1979:USP,% Inoue:1980:NDP,% Ko:1982:SOP,% Molchanov:1972:AIB,% Slisenko:1982:CFG,% vanLeeuwen:1980:DDS% }. \NAMECITE{procedural}{% Laut:1980:SPI% }. \NAMECITE{procedure}{% Anderssen:1972:RPP% }. \NAMECITE{Process}{% Andrew:1980:CAE,% Aspvall:1982:ELT,% Avis:1980:CLB,% Bini:1982:RPN,% Brouwer:1982:NMK,% Colbourn:1980:CCP,% Day:1980:CSM,% Fournier:1979:CCH,% Gonnet:1979:END,% Hellman:1981:ACA,% Krichevsky:1982:LEF,% Kucera:1983:EAP,% Lloyd:1980:ELS,% Meijer:1981:NCM,% Moran:1981:NSP,% Overmars:1980:FCB,% Tarjan:1986:SAM,% Yokomori:1985:ETR,% Yuval:1979:CSP,% vanLeeuwen:1980:ELS,% Arora:1980:HAP,% Harel:1979:ETR,% Harel:1979:TRP% }. \NAMECITE{processed}{% Talbert:1977:FSS% }. \NAMECITE{Processes}{% Tsur:1978:AQN,% Chandy:1979:DAP,% Varney:1972:PPU% }. \NAMECITE{Processing}{% Fisher:1974:BWG,% Loizou:1979:MSD,% Hansal:1974:SDP,% Tzafestas:1972:DPM% }. \NAMECITE{Processor}{% Madsen:1976:MMD,% Preparata:1978:IPP,% Arora:1979:MAT,% Rowicki:1975:NOS,% Rowicki:1977:NOP% }. \NAMECITE{processors}{% Teskey:1979:DRU% }. \NAMECITE{producer}{% Wurgens:1977:CER% }. \NAMECITE{Producing}{% Banatre:1977:POC% }. \NAMECITE{Production}{% Arnborg:1974:ACM,% Eberlein:1979:NMS% }. \NAMECITE{productions}{% Jaffe:1978:CPC% }. \NAMECITE{products}{% Dobkin:1976:CV,% Makarov:1979:UDC% }. \NAMECITE{Program}{% Chrobot:1976:LLC,% Francez:1973:NCC,% Galand:1975:SIS,% Hennell:1976:PA,% Innes:1976:IAP,% Knuth:1974:ESP,% Knuth:1974:SPG,% Middleton:1974:COP,% Weihrauch:1975:PSP,% Best:1979:NPC,% Cherniavsky:1979:NCT,% DeMillo:1978:PRA,% Duncan:1975:LUP,% Matwin:1977:EIG,% Pequeno:1979:ADT,% Shortt:1978:IPC,% Upfal:1982:FCP% }. \NAMECITE{Programmed}{% Duncan:1971:PSS,% Zissos:1971:PSR% }. \NAMECITE{Programming}{% Gries:1972:PI,% Knuth:1992:LP,% Delcour:1976:EAC,% Dobkin:1979:LPL,% Lucena:1976:TSE,% Merret:1977:RPL,% Rem:1975:PES,% Sokolowski:1978:MPP,% Solntseff:1972:CEP% }. \NAMECITE{Programs}{% Broy:1980:TSC,% Friedman:1976:ODI,% Friedman:1979:EOD,% Cherniavsky:1979:FTD,% Coy:1976:LMP,% Gini:1982:ASI,% Glushkov:1978:CPT,% Kawai:1980:FSP,% Langmaack:1979:FTP,% Majster-Cederbaum:1980:SRB,% Matwin:1977:CST,% Merret:1971:GPM,% Oulsnam:1979:CND,% Soundararajan:1979:APT,% Steckelberg:1977:RBA% }. \NAMECITE{projections}{% Gelenbe:1982:SP% }. \NAMECITE{proof}{% Best:1979:NPC,% Moore:1979:MPT,% Pritchard:1976:PRM,% Yuval:1978:SPS,% Yuval:1979:CSP% }. \NAMECITE{proofs}{% Chandy:1979:DAP,% Rozenberg:1972:DPU,% Soundararajan:1979:APT,% Upfal:1982:FCP% }. \NAMECITE{proper}{% Boasson:1973:ISC% }. \NAMECITE{Properties}{% Culik:1978:DLC,% Kasyanov:1973:SPF,% Boari:1976:SPD,% Kang:1975:SPC,% Nakamura:1980:RTD% }. \NAMECITE{property}{% Liu:1980:ATL,% Sengupta:1979:ICP% }. \NAMECITE{Protection}{% Tsichritzis:1972:POS% }. \NAMECITE{Proving}{% Bratko:1978:PCS,% Duncan:1975:LUP,% Samet:1978:CFA,% Sokolowski:1978:MPP% }. \NAMECITE{pseudorandom}{% Kral:1972:ENA,% Kral:1972:NAP% }. \NAMECITE{pumping}{% Yehudai:1979:NPL% }. \NAMECITE{pure}{% Anderssen:1972:RPP% }. \NAMECITE{pushdown}{% Culik:1979:SDR,% Ibarra:1974:NSS,% Jones:1977:NLT% }. \NAMECITE{pyramid}{% Inoue:1979:NBP% }. \NAMECITE{{QT}}{% Merret:1978:QLS% }. \NAMECITE{quad}{% Bentley:1975:ARS% }. \NAMECITE{quadratic}{% Petreschi:1980:SAS,% Petreschi:1981:ESA,% Toussaint:1972:FEQ% }. \NAMECITE{quantified}{% Aspvall:1979:LTA,% Aspvall:1982:ELT% }. \NAMECITE{quaternion}{% deGroote:1975:CQM% }. \NAMECITE{quatric}{% Grant:1977:ARE,% Grant:1977:REL% }. \NAMECITE{question}{% VanLeeuwen:1975:MQE% }. \NAMECITE{Queueing}{% Asai:1975:DQB,% Hoare:1973:GCL% }. \NAMECITE{Queues}{% Johnson:1975:PQU% }. \NAMECITE{Queuing}{% Tsur:1978:AQN% }. \NAMECITE{{Quicksort}}{% Rohrich:1982:HQW% }. \NAMECITE{quindiagonal}{% Barlow:1982:PMD% }. \NAMECITE{{Rabin}}{% Calmet:1980:IRP,% Fortune:1979:NRN% }. \NAMECITE{race}{% Zissos:1971:PSR% }. \NAMECITE{radius}{% Bentley:1977:CFF% }. \NAMECITE{radix}{% Keir:1975:SSR% }. \NAMECITE{radix-dependent}{% Keir:1975:SSR% }. \NAMECITE{Random}{% Marsaglia:1976:IFM,% Anderssen:1972:RPP,% Banerjee:1975:DLD,% Brown:1979:SOR,% Cremers:1973:NLR,% Rozenberg:1976:MES% }. \NAMECITE{randomized}{% Itai:1979:RAC% }. \NAMECITE{range}{% Bentley:1975:ARS% }. \NAMECITE{rank}{% Ibarra:1980:NPC% }. \NAMECITE{ranking}{% Zaks:1982:GRA% }. \NAMECITE{Rational}{% Reiss:1979:RS,% vanLeeuwen:1982:ERR% }. \NAMECITE{rationale}{% Anderssen:1975:RND% }. \NAMECITE{rationals}{% Papadimitriou:1979:ESR% }. \NAMECITE{Reachability}{% Kameda:1975:VRR% }. \NAMECITE{read}{% Siklossy:1972:FRO% }. \NAMECITE{read-only}{% Siklossy:1972:FRO% }. \NAMECITE{reader}{% Boari:1976:SPD% }. \NAMECITE{readers}{% Boari:1978:EMA,% Boari:1978:MAT% }. \NAMECITE{ready}{% Blazewicz:1979:DST% }. \NAMECITE{Real}{% Umeo:1982:DOW,% Leung:1980:NPS% }. \NAMECITE{Real-Time}{% Umeo:1982:DOW,% Leung:1980:NPS% }. \NAMECITE{Realization}{% Cahit:1977:RGP,% Devillers:1973:RPN% }. \NAMECITE{really}{% Karlgren:1971:SRS% }. \NAMECITE{Recognition}{% Galil:1976:TFS,% Grant:1977:ARE,% Grant:1977:REL,% vanLeeuwen:1982:ERR% }. \NAMECITE{recognizable}{% Mehlhorn:1976:BLR% }. \NAMECITE{recognize}{% Mitchell:1979:LAR% }. \NAMECITE{recognizer}{% Kral:1973:NNS% }. \NAMECITE{recognizing}{% Jou:1982:CRR% }. \NAMECITE{Reconstructability}{% Mandrioli:1976:RCF% }. \NAMECITE{record}{% Berry:1979:UDR% }. \NAMECITE{recovery}{% Boari:1976:SPD,% Turner:1977:EDR% }. \NAMECITE{rectangle}{% Edelsbrunner:1982:ESR% }. \NAMECITE{Recursion}{% Friedman:1979:RCC,% Mayoh:1972:RS,% Partsch:1976:FRR% }. \NAMECITE{Recursive}{% Friedman:1976:ODI,% Friedman:1979:EOD,% Gurari:1979:SCR% }. \NAMECITE{Recursiveness}{% Wang:1976:ERM,% Wang:1976:RMA,% Germano:1975:SSR% }. \NAMECITE{reduced}{% Krepyshev:1972:SDO% }. \NAMECITE{Reducible}{% Kasyanov:1973:SPF% }. \NAMECITE{reducing}{% Barnett:1973:TRC,% Karlgren:1971:SRS% }. \NAMECITE{Reduction}{% Itano:1979:RPS% }. \NAMECITE{Redundancy}{% Ehrich:1976:SSR,% tenHoopen:1980:CRR% }. \NAMECITE{Reevaluation}{% Anderson:1978:REA% }. \NAMECITE{referees}{% Anonymous:1978:TR% }. \NAMECITE{Reference}{% Friedman:1979:RCC,% Kambayashi:1978:LSS% }. \NAMECITE{referenced}{% Endres:1977:FOP% }. \NAMECITE{referencing}{% Henhapl:1971:RTM% }. \NAMECITE{refinement}{% Anderssen:1972:RPP% }. \NAMECITE{Region}{% Silva-Filho:1979:ACA,% Kessels:1979:TIC% }. \NAMECITE{Register}{% Asai:1975:DQB% }. \NAMECITE{regular}{% Culik:1979:SDR,% Jarzabek:1975:LRG,% Nijholt:1979:LRG,% Robson:1979:ECP,% Veloso:1979:CRP,% Yehudai:1979:NPL% }. \NAMECITE{Related}{% Umeo:1982:DOW% }. \NAMECITE{relation}{% Jou:1982:CRR,% Majster-Cederbaum:1980:SRB,% Steckelberg:1977:RBA% }. \NAMECITE{Relational}{% Grant:1977:NVR,% Barrow:1976:SIM,% Demolombe:1982:GDR,% Graham:1982:SER,% Kanellakis:1980:CCC,% Liu:1980:ATL,% Luk:1979:PMM,% Majster-Cederbaum:1980:SRB,% Paredaens:1978:EPR,% Srinivasan:1979:NRD% }. \NAMECITE{Relations}{% Dolev:1978:CRS,% Merret:1977:RPL,% Bayer:1972:OBT,% Hansen:1976:CAL,% Hansen:1976:ECA,% Lagarias:1982:MSR,% vanLeeuwen:1982:ERR% }. \NAMECITE{Relative}{% Valiant:1976:RCC,% Coffman:1973:NRP% }. \NAMECITE{release}{% Slowinski:1979:CMP% }. \NAMECITE{Remark}{% Deimel:1974:RCP,% DeMillo:1978:PRA,% Nakamura:1980:RTD% }. \NAMECITE{remarks}{% Akl:1979:TRC% }. \NAMECITE{{Remer}}{% Kral:1973:NNS% }. \NAMECITE{removal}{% Partsch:1976:FRR% }. \NAMECITE{Reply}{% Bini:1982:RPN,% Dobosiewicz:1978:ARW,% Moran:1981:NSP% }. \NAMECITE{Representation}{% Adams:1973:ARB,% Guida:1976:SPR,% Kameda:1975:VRR,% Minsky:1973:RBT,% Scheiding:1971:REM,% Duske:1976:PRI,% Minker:1974:EAP,% Reising:1979:NRF% }. \NAMECITE{representations}{% Lagarias:1982:MSR% }. \NAMECITE{representatives}{% Szwarcfiter:1979:SDR% }. \NAMECITE{required}{% Preparata:1975:TRE% }. \NAMECITE{Requirement}{% Ehrich:1976:SSR% }. \NAMECITE{Requirements}{% Brandstetter:1972:SRS,% Sassa:1977:VTV,% tenHoopen:1980:CRR% }. \NAMECITE{requires}{% Robson:1979:ECP% }. \NAMECITE{research}{% Brandwajn:1978:ASR% }. \NAMECITE{resolution}{% Minker:1982:ELR% }. \NAMECITE{Resource}{% Sassa:1977:VTV,% Blazewicz:1979:DST,% Leung:1979:BLS,% Slowinski:1979:CMP% }. \NAMECITE{Resources}{% Lloyd:1980:LSB,% Lloyd:1980:ELS,% vanLeeuwen:1980:ELS% }. \NAMECITE{respect}{% Schnorr:1977:UHS% }. \NAMECITE{{Restivo}}{% Krichevsky:1982:LEF% }. \NAMECITE{Restricted}{% Wessner:1976:OAS,% Cherniavsky:1979:NCT,% Cremers:1973:NLR,% Leung:1979:BLS,% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{result}{% Banachowski:1980:CTR,% Bongiovanni:1978:CRG,% Yuval:1978:SPS,% Yuval:1979:CSP% }. \NAMECITE{Results}{% Culik:1979:SIS,% Lazos:1975:CSR,% Culik:1979:SDR,% Harel:1979:ETR,% Harel:1979:TRP,% Ruohonen:1975:TRC% }. \NAMECITE{resynchronisation}{% Wurgens:1977:CER% }. \NAMECITE{Retrieval}{% Bentley:1976:HPM,% Culik:1979:SIS,% Ehrich:1976:SSR,% Luccio:1976:SCR,% Reusch:1976:GLA,% Salton:1973:EML,% Wegbreit:1975:RCT,% Lipski:1977:OMP,% Salton:1971:PII,% Teskey:1979:DRU,% tenHoopen:1980:CRR% }. \NAMECITE{reversal}{% Ibarra:1974:NSS% }. \NAMECITE{Revisited}{% Dobosiewicz:1979:PSD,% Dershowitz:1980:SMA% }. \NAMECITE{right}{% Veloso:1979:CRP% }. \NAMECITE{ring}{% Makarov:1979:UDC,% Rivest:1979:LBN% }. \NAMECITE{role}{% Stacey:1971:RVM% }. \NAMECITE{Romani}{% Moran:1981:NSP,% Moran:1981:NSP% }. \NAMECITE{{Rosenberg}}{% Illies:1978:CGA% }. \NAMECITE{{Rosenbrock}}{% Day:1980:ISR% }. \NAMECITE{rounding}{% Keir:1975:SSR% }. \NAMECITE{Rule}{% Boffey:1973:AMR,% Gelenbe:1971:TTR,% Keir:1975:SSR,% Pritchard:1976:PRM% }. \NAMECITE{rules}{% Partsch:1976:FRR% }. \NAMECITE{run}{% Henhapl:1971:RTM% }. \NAMECITE{run-time}{% Henhapl:1971:RTM% }. \NAMECITE{S}{% Krichevsky:1982:LEF% }. \NAMECITE{Safe}{% Laut:1980:SPI% }. \NAMECITE{safety}{% Cellary:1979:NST% }. \NAMECITE{same}{% Dinic:1977:NTS% }. \NAMECITE{{Sardinas}}{% Franchi-Zannettacci:1982:ETS% }. \NAMECITE{saving}{% Meertens:1976:SST% }. \NAMECITE{Scan}{% Reddy:1972:XHS% }. \NAMECITE{Scanning}{% Lindstrom:1973:SLS,% Coffman:1973:NRP% }. \NAMECITE{Scatter}{% Friedman:1976:GCH,% Friedman:1977:EGC% }. \NAMECITE{scattered}{% Ehrenfeucht:1979:OSG,% Milgram:1971:NSC% }. \NAMECITE{Scheduling}{% Lang:1976:SUL,% Lloyd:1980:LSB,% Lyon:1979:BSS,% Blazewicz:1977:SAM,% Blazewicz:1979:DST,% Leung:1979:BLS,% Leung:1980:NPS,% Lloyd:1980:ELS,% Rowicki:1975:NOS,% Rowicki:1977:NOP,% Slowinski:1979:CMP,% Varney:1972:PPU,% vanLeeuwen:1980:ELS% }. \NAMECITE{Schemas}{% Czaja:1980:DFP,% Francez:1973:NCC% }. \NAMECITE{Schemata}{% Weihrauch:1975:PSP% }. \NAMECITE{scheme}{% Brown:1978:SSH,% Brown:1979:ASS,% Sethi:1978:ECC% }. \NAMECITE{Schemes}{% Molchanov:1973:CDS,% Glushkov:1978:CPT,% Jou:1982:CRR% }. \NAMECITE{{Schneider}}{% Brouwer:1982:NMK% }. \NAMECITE{{Schorr}}{% Dershowitz:1980:SMA% }. \NAMECITE{Sci}{% Nakamura:1980:RTD% }. \NAMECITE{science}{% vanderKnijff:1979:CCB% }. \NAMECITE{scoping}{% Prini:1979:SIS% }. \NAMECITE{Search}{% Findler:1972:SNH,% Guida:1976:SPR,% Leipala:1979:GBS,% Santoro:1976:FTS,% Silva-Filho:1979:ACA,% Wessner:1976:OAS,% Anderssen:1972:RPP,% Gonnet:1977:ISS,% Korsh:1982:GNO,% Papadimitriou:1979:ESR,% Perl:1977:UCI,% Reiss:1979:RS% }. \NAMECITE{searches}{% Bentley:1975:ARS% }. \NAMECITE{Searching}{% Bentley:1979:DSP,% Orenstein:1982:MTU,% Bailey:1980:FSS,% Bentley:1976:AOA,% Bentley:1979:NEN,% Edelsbrunner:1982:PIS,% Raghavan:1977:NMS,% vanLeeuwen:1980:DDS% }. \NAMECITE{sectors}{% Endres:1977:FOP% }. \NAMECITE{Secure}{% Culik:1979:SIS% }. \NAMECITE{segmentation}{% vanDam:1972:SDP% }. \NAMECITE{Selection}{% Allison:1980:SDP,% Shaw:1977:SGA,% Eberlein:1979:NMS,% Erkio:1980:IMS,% Kittler:1975:DJD,% Minker:1982:ELR,% Noshita:1974:MSE,% Reiser:1978:LSA% }. \NAMECITE{Self}{% Kruijer:1979:SSS% }. \NAMECITE{Self-stabilization}{% Kruijer:1979:SSS% }. \NAMECITE{semantic}{% Cunningham:1976:NSD,% Raiha:1977:OAS% }. \NAMECITE{Semantics}{% Broy:1980:TSC,% Guida:1976:SPR,% Elgot:1982:SSA,% Lassez:1982:FPT,% Majster-Cederbaum:1980:SRB,% Talbert:1977:FSS% }. \NAMECITE{semaphore}{% Kessels:1979:TIC,% Trivedi:1976:SA,% Vantilborgh:1972:EDS% }. \NAMECITE{semi}{% Robson:1979:ECP% }. \NAMECITE{semilinear}{% Ibarra:1974:NSS% }. \NAMECITE{Sensitivity}{% Tarjan:1982:SAM,% Tarjan:1986:SAM,% Krepyshev:1972:SDO% }. \NAMECITE{sentential}{% Rozenberg:1972:DPU% }. \NAMECITE{Sequence}{% Broy:1979:MSP,% Germano:1975:SSR,% Hikita:1977:AFP% }. \NAMECITE{Sequence-to-sequence}{% Germano:1975:SSR% }. \NAMECITE{sequences}{% Istrail:1978:TSG% }. \NAMECITE{Sequential}{% Buda:1979:GSM,% Fraenkel:1979:PSL,% Rosenfeld:1973:PSA,% Duncan:1971:PSS,% Gairola:1976:DIS,% Gonnet:1977:ISS,% Winkowski:1977:ACB,% Winkowski:1978:EAC,% Zissos:1971:PSR% }. \NAMECITE{series}{% Zave:1976:SEI% }. \NAMECITE{Set}{% Anderson:1978:REA,% Czaja:1980:DFP,% Jarvis:1973:ICH,% Sassa:1976:HMF,% Banachowski:1980:CTR,% Bykat:1978:CHF,% Devai:1979:CCH,% Fournier:1979:CCH,% Franklin:1979:PLS,% Graham:1972:EAD,% Hansen:1976:CAL,% Hansen:1976:ECA,% Kaye:1976:GCS,% Manacher:1979:NGN,% Matwin:1977:CST,% Misra:1979:STT,% Overmars:1980:FCB,% Schnorr:1977:UHS,% Simovici:1979:EIF,% Yu:1976:CFS% }. \NAMECITE{Set-Theoretic}{% Czaja:1980:DFP% }. \NAMECITE{sets}{% Cherniavsky:1979:FTD,% Ehrenfeucht:1973:LTS,% Ibarra:1974:NSS,% Lee:1974:LSD,% Reiser:1978:LSA,% Szwarcfiter:1979:SDR% }. \NAMECITE{several}{% Fridman:1979:ALS% }. \NAMECITE{shallow}{% Prini:1979:SIS% }. \NAMECITE{shared}{% Clark:1978:NSL% }. \NAMECITE{Sharing}{% Cooprider:1974:ISS,% Brouwer:1982:NMK,% Denning:1981:MKG,% Dijkstra:1972:ISS% }. \NAMECITE{shop}{% Slowinski:1979:CMP% }. \NAMECITE{Short}{% Findler:1972:SNH,% Lyon:1979:BSS,% Kral:1972:ENA,% Kral:1972:NAP% }. \NAMECITE{Shortest}{% Moran:1981:NSP,% Romani:1980:SPP,% Noshita:1978:EBD,% Tarjan:1982:SAM,% Tarjan:1986:SAM,% Yuval:1976:AFA% }. \NAMECITE{Shortest-path}{% Moran:1981:NSP,% Romani:1980:SPP% }. \NAMECITE{Should}{% Keir:1975:SSR% }. \NAMECITE{shuffle}{% Cahit:1977:RGP% }. \NAMECITE{shuffle-exchange}{% Cahit:1977:RGP% }. \NAMECITE{side}{% Cunningham:1976:NSD% }. \NAMECITE{signature}{% Leiss:1980:NSS% }. \NAMECITE{Significance}{% Dobosiewicz:1979:PSD,% Huits:1979:PSD% }. \NAMECITE{similarity}{% Akl:1978:IAC,% Akl:1979:AIA,% Bykat:1979:PS% }. \NAMECITE{similarly}{% Gries:1980:CFN% }. \NAMECITE{Simple}{% Blazewicz:1977:SAM,% Doyle:1976:LET,% Dwyer:1973:SAT,% Garey:1978:TSP,% Bergstra:1982:STL,% Campbell:1974:OUS,% DalBono:1975:SFS,% FarinasDelCerro:1982:SDM,% Frederickson:1980:PAS,% Hanson:1976:SVB,% Majster-Cederbaum:1980:SRB,% McCallum:1979:LAF,% Paun:1978:GCS,% Robson:1975:SSI,% Yuval:1978:SPS,% Yuval:1979:CSP% }. \NAMECITE{simpler}{% Merret:1978:QLS% }. \NAMECITE{simplification}{% Dershowitz:1979:NSO% }. \NAMECITE{simply}{% Morris:1979:TBT% }. \NAMECITE{Simulation}{% Lazos:1975:CSR,% Umeo:1982:DOW,% Duncan:1971:PSS,% Javor:1977:ATA,% Jones:1977:NLT,% Zissos:1971:PSR% }. \NAMECITE{Simulations}{% Galil:1976:TFS% }. \NAMECITE{Single}{% Ajtai:1978:TNF% }. \NAMECITE{sink}{% King:1982:OAS% }. \NAMECITE{sink-finding}{% King:1982:OAS% }. \NAMECITE{Size}{% Asai:1975:DQB,% Gelenbe:1982:SP,% Hoare:1974:OSS% }. \NAMECITE{sizes}{% Williams:1980:BSB% }. \NAMECITE{Slices}{% Dolev:1978:CRS% }. \NAMECITE{slicing}{% Rozenberg:1976:SIG% }. \NAMECITE{Small}{% Maurer:1976:IDU% }. \NAMECITE{smoker}{% Reddi:1977:ASC% }. \NAMECITE{Soft}{% Zimmer:1972:SP% }. \NAMECITE{Software}{% Hansal:1974:SDP,% vanDam:1972:SDP,% vanderKnijff:1979:CCB% }. \NAMECITE{Solution}{% Broy:1979:MSP,% Heuer:1973:NSB,% Loizou:1979:MSD,% Molchanov:1973:OCI,% deWolf:1976:NSI,% Akritas:1979:SPE,% Annot:1986:CMS,% Backhouse:1982:WNS,% Cohen:1977:ASC,% Maurer:1971:SPG,% Molchanov:1972:AIB,% Morris:1979:SFS,% Petreschi:1980:SAS,% Petreschi:1981:ESA,% Robson:1975:SSI,% Urbanek:1980:ACE% }. \NAMECITE{Solutions}{% Cooprider:1974:ISS,% Huet:1978:AGB,% Reddi:1977:ASC% }. \NAMECITE{Solving}{% deWolf:1975:NMS,% Molchanov:1972:IMS% }. \NAMECITE{Some}{% Boari:1976:SPD,% Brown:1979:SOR,% Camerini:1978:MMS,% Culik:1979:SDR,% Dolev:1978:CRS,% Gabow:1976:SIB,% Galil:1976:TFS,% Hosono:1975:CSL,% Kang:1975:SPC,% Kasyanov:1973:SPF,% Ko:1982:SOP,% Nakamura:1980:RTD,% Nieminen:1975:SOD,% Tarhio:1982:LPS,% Edelsbrunner:1982:ESR,% Grabowski:1979:USP,% Stoyan:1979:MMS,% Ukkonen:1979:NSC,% vanderKnijff:1979:CCB% }. \NAMECITE{Sort}{% Dobosiewicz:1979:PSD,% Dobosiewicz:1980:EVB,% Huits:1979:PSD,% Doberkat:1982:AEH% }. \NAMECITE{Sorting}{% Dobosiewicz:1978:SDP,% Knuth:1974:ESP,% Knuth:1974:SPG,% Kundu:1977:STN,% Meijer:1980:DAN,% Peltola:1978:IMS,% Barnett:1973:TRC,% Dewar:1974:SMS,% Dobosiewicz:1978:ARW,% Erkio:1980:IMS,% Jackowski:1979:CSD,% Knuth:1972:EOS,% Warren:1973:MCS,% Yuval:1973:PCT,% Burton:1978:CSD% }. \NAMECITE{Space}{% Ehrich:1976:SSR,% Gurari:1979:SCR,% Misra:1979:STT,% Abelson:1979:NTS,% Dobkin:1979:LPL,% Kambayashi:1978:LSS,% Kawai:1980:FSP,% Meertens:1976:SST,% Mehlhorn:1976:BLR,% Robson:1979:ECP,% Yuval:1975:FNN,% Zuczek:1977:USP,% tenHoopen:1980:CRR,% vanEmdeBoas:1977:POF% }. \NAMECITE{space-saving}{% Meertens:1976:SST% }. \NAMECITE{Space-time}{% Misra:1979:STT% }. \NAMECITE{spacing}{% Molchanov:1972:IMS% }. \NAMECITE{Spanning}{% Cahit:1975:GNS,% Camerini:1978:MMS,% Johnson:1975:PQU,% Nath:1982:PAC,% Rohlf:1978:PMS,% Tarjan:1982:SAM,% Tarjan:1986:SAM,% Yao:1975:AFM,% Yao:1975:VAF% }. \NAMECITE{specific}{% Hyafil:1975:ACS% }. \NAMECITE{specification}{% Czaja:1979:SPP,% Pequeno:1979:ADT,% Talbert:1977:FSS% }. \NAMECITE{specifications}{% Bergstra:1982:STL% }. \NAMECITE{spider}{% Eberlein:1979:NMS% }. \NAMECITE{spite}{% Kruijer:1979:SSS% }. \NAMECITE{split}{% Kessels:1979:TIC% }. \NAMECITE{squares}{% Backhouse:1982:WNS,% Bohm:1980:CBE% }. \NAMECITE{stability}{% Beretta:1982:MCE,% Day:1980:ISR% }. \NAMECITE{stabilization}{% Kruijer:1979:SSS% }. \NAMECITE{stable}{% Bui:1977:SMS,% Bui:1979:ESM,% Day:1980:CSM,% Dewar:1974:SMS,% Keir:1975:SSR% }. \NAMECITE{Stack}{% Dwyer:1973:SAT,% Prini:1979:SIS,% Robson:1973:IAT,% Siklossy:1972:FRO% }. \NAMECITE{Stacking}{% Karlgren:1971:SRS% }. \NAMECITE{Stacks}{% Lindstrom:1973:SLS,% Mayoh:1972:RS% }. \NAMECITE{star}{% Gabow:1976:NDC% }. \NAMECITE{starvation}{% Annot:1986:CMS,% Devillers:1978:GMA,% Morris:1979:SFS% }. \NAMECITE{starvation-free}{% Annot:1986:CMS,% Morris:1979:SFS% }. \NAMECITE{Statements}{% Devillers:1973:RPN,% Knuth:1971:ENA,% Knuth:1971:NAG% }. \NAMECITE{states}{% Kral:1973:NNS% }. \NAMECITE{Static}{% Molchanov:1973:CDS% }. \NAMECITE{Statistical}{% vanLeeuwen:1979:CSD,% Yao:1979:NCK% }. \NAMECITE{statistics}{% Krepyshev:1972:SDO% }. \NAMECITE{{Stein}}{% Collins:1977:APS% }. \NAMECITE{steps}{% Chung:1980:MNS,% Shamir:1979:FNA% }. \NAMECITE{stiff}{% Bui:1977:SMS,% Bui:1979:ESM,% Day:1980:CSM% }. \NAMECITE{Stochastic}{% Brandstetter:1972:SRS% }. \NAMECITE{Storage}{% Brandstetter:1972:SRS,% Culik:1979:SIS,% Ehrich:1976:SSR,% Luccio:1976:SCR,% Robson:1980:SAN,% Brown:1978:SSH,% Brown:1979:ASS,% Campbell:1974:OUS,% Chroust:1972:EEM,% Dewar:1974:SMS,% Gelenbe:1971:TTR,% Kambayashi:1978:LSS,% Krogdahl:1973:DSA,% Lagarias:1982:MSR,% Lozinskii:1976:PSO,% tenHoopen:1980:CRR% }. \NAMECITE{store}{% Hoare:1974:OSS% }. \NAMECITE{stores}{% Rem:1975:PES% }. \NAMECITE{straight}{% Doberkat:1982:AEH% }. \NAMECITE{Strassen}{% Yuval:1979:CSP,% Yuval:1978:SPS% }. \NAMECITE{strategies}{% Bratko:1978:PCS% }. \NAMECITE{Strategy}{% Findler:1972:SNH,% Tang:1973:MBB% }. \NAMECITE{Streams}{% Cooprider:1974:ISS,% Dijkstra:1972:ISS% }. \NAMECITE{String}{% Galil:1976:TFS,% Bailey:1980:FSS% }. \NAMECITE{Strong}{% Graham:1982:SER,% Shiloach:1979:SLO,% Fischer:1979:IED,% Tarjan:1982:HCA% }. \NAMECITE{strongly}{% Berry:1979:UDR% }. \NAMECITE{Structural}{% Chrobot:1976:LLC% }. \NAMECITE{Structure}{% Gunn:1982:CTT,% Banerjee:1975:DLD,% Clark:1978:NSL,% Kambayashi:1978:LSS,% Lao:1979:NDS% }. \NAMECITE{Structured}{% Galand:1975:SIS,% Knuth:1974:ESP,% Knuth:1974:SPG,% Solntseff:1974:NDD,% Zelkowitz:1974:SOS,% Glushkov:1978:CPT,% Kruijer:1979:SSS,% Varney:1972:PPU% }. \NAMECITE{Structures}{% Friedman:1976:ODI,% Friedman:1979:EOD,% Lindstrom:1973:SLS,% Allison:1978:PSN,% Barrow:1976:SIM,% Cherniavsky:1979:NCT% }. \NAMECITE{study}{% Brandwajn:1977:SPD% }. \NAMECITE{sub}{% Boasson:1973:ISC% }. \NAMECITE{sub-{AFL}}{% Boasson:1973:ISC% }. \NAMECITE{Subclass}{% Friedman:1978:ESC,% Hughes:1978:EVA% }. \NAMECITE{subclasses}{% Slisenko:1982:CFG% }. \NAMECITE{subdivision}{% Lee:1979:LMP% }. \NAMECITE{Subgraph}{% Barrow:1976:SIM% }. \NAMECITE{subgraphs}{% Gabow:1976:NDC,% Ogilvie:1972:UCS% }. \NAMECITE{subkeys}{% Bailey:1980:FSS% }. \NAMECITE{subrecursive}{% Coy:1976:LMP,% Tsichritzis:1971:NCS% }. \NAMECITE{Subsequence}{% Hirschberg:1978:ITL% }. \NAMECITE{Subsequences}{% Broy:1979:MSP% }. \NAMECITE{subspaces}{% Kittler:1977:MDC% }. \NAMECITE{{SUBSTAD}}{% deChampeaux:1978:SFS% }. \NAMECITE{Substantiable}{% Pankov:1979:SEE% }. \NAMECITE{Substitution}{% deChampeaux:1978:SFS,% Boasson:1973:ISC% }. \NAMECITE{substrings}{% Booth:1980:LLC% }. \NAMECITE{subtext}{% Bailey:1980:FSS% }. \NAMECITE{subwords}{% Ehrenfeucht:1973:LTS% }. \NAMECITE{sum}{% Backhouse:1982:WNS% }. \NAMECITE{summations}{% Gonnet:1978:NDA,% Gonnet:1979:END% }. \NAMECITE{support}{% DalBono:1975:SFS% }. \NAMECITE{supporting}{% Ghezzi:1975:LGS% }. \NAMECITE{swaps}{% Itano:1979:RPS% }. \NAMECITE{switching}{% Petreschi:1980:SAS,% Petreschi:1981:ESA% }. \NAMECITE{Symbolic}{% Galand:1975:SIS,% Howden:1978:LGS,% Caviness:1971:ELC% }. \NAMECITE{symmetric}{% Barlow:1982:PMD% }. \NAMECITE{symmetrizability}{% Colbourn:1980:CCP% }. \NAMECITE{symmetrizing}{% Colbourn:1979:CSM,% Colbourn:1980:CCP% }. \NAMECITE{Synchronization}{% Dolev:1978:CRS,% DeMillo:1979:ICS,% Lamport:1976:CSA,% Lipton:1975:SA% }. \NAMECITE{Syntax}{% Cohen:1973:SDU,% Branquart:1972:CFS,% Elgot:1982:SSA% }. \NAMECITE{Syntax-directed}{% Cohen:1973:SDU% }. \NAMECITE{syntax-free}{% Elgot:1982:SSA% }. \NAMECITE{Synthesis}{% Krepyshev:1972:SDO,% Gini:1982:ASI% }. \NAMECITE{System}{% Lazos:1975:CSR,% Loizou:1979:MSD,% Reddy:1972:XHS,% Samadi:1976:TSM,% Brandwajn:1977:SPD,% Brandwajn:1978:ASR,% Delcour:1976:EAC,% Ferrari:1979:DLT,% Karhumaki:1973:EPS,% Kawai:1980:FSP,% Leiss:1980:NSS,% Lucena:1976:TSE,% Madsen:1977:EFD,% Solntseff:1972:EEC,% Tzafestas:1972:DPM,% Varney:1972:PPU,% Williams:1979:TCG,% Zelkowitz:1974:SOS% }. \NAMECITE{Systems}{% Brandstetter:1972:SRS,% Lloyd:1980:LSB,% Molchanov:1973:OCI,% Szwarcfiter:1979:SDR,% Arora:1979:MAT,% Arora:1980:HAP,% Beretta:1982:MCE,% Crespi-Reghizzi:1975:DTC,% Crespi-Reghizzi:1975:EDT,% Culik:1978:DLC,% Czaja:1978:IAP,% Grabowski:1980:DPV,% Hughes:1978:EVA,% Istrail:1978:TSG,% Kobuchi:1977:TCT,% Kruijer:1979:SSS,% Lloyd:1980:ELS,% Merret:1971:GPM,% Pritchard:1976:PRM,% Rowicki:1975:NOS,% Rowicki:1977:NOP,% Rozenberg:1972:DPU,% Rozenberg:1972:EEP,% Rozenberg:1972:EPD,% Rozenberg:1976:MES,% Tsichritzis:1972:POS,% Winkowski:1977:ACB,% Winkowski:1978:EAC,% Wurgens:1977:CER,% vanDam:1972:SDP,% vanLeeuwen:1980:ELS% }. \NAMECITE{{Szilard}}{% Paun:1979:SLA% }. \NAMECITE{T}{% Day:1980:CSM% }. \NAMECITE{{T0L}}{% Ehrenfeucht:1973:LTS,% Rozenberg:1972:EEP,% Rozenberg:1972:EPD,% vonSolms:1975:TLT% }. \NAMECITE{{T0L}-systems}{% Rozenberg:1972:EEP,% Rozenberg:1972:EPD% }. \NAMECITE{Table}{% Friedman:1976:GCH,% Friedman:1977:EGC,% Santoro:1976:FTS% }. \NAMECITE{Tabular}{% Grant:1979:PVT% }. \NAMECITE{Tag}{% Istrail:1978:TSG,% Lindstrom:1973:SLS,% Hanson:1976:SVB% }. \NAMECITE{{Takeuchi}}{% Moore:1979:MPT% }. \NAMECITE{tale}{% Lassez:1982:FPT% }. \NAMECITE{Tape}{% Sassa:1977:VTV,% Floyd:1973:LTT% }. \NAMECITE{{Tarjan}}{% Banachowski:1980:CTR% }. \NAMECITE{Tasks}{% Lang:1976:SUL,% Blazewicz:1979:DST,% Leung:1979:BLS,% Leung:1980:NPS% }. \NAMECITE{technique}{% Barnett:1973:TRC,% Hitotumatu:1979:TIB,% Jakobsson:1982:EHB,% Meertens:1976:SST% }. \NAMECITE{Term}{% Findler:1972:SNH% }. \NAMECITE{Terminals}{% vonSolms:1975:TLT% }. \NAMECITE{Termination}{% Dijkstra:1980:TDD,% Langmaack:1979:FTP,% Moore:1979:MPT% }. \NAMECITE{tessellation}{% Nakamura:1980:RTD% }. \NAMECITE{test}{% Cellary:1979:NST,% Cherniavsky:1979:FTD,% Lenstra:1979:MPT% }. \NAMECITE{Testing}{% Gavril:1977:TEB,% Howden:1978:LGS,% Osborn:1979:TEC,% Aspvall:1979:LTA,% Aspvall:1982:ELT,% Bhat:1980:CTG,% DeMillo:1978:PRA,% Gavril:1975:ATC,% Liu:1980:ATL% }. \NAMECITE{th}{% Urbanek:1980:ACE% }. \NAMECITE{{Theil}}{% Yuval:1977:TE% }. \NAMECITE{their}{% Pankov:1979:SEE,% tenHoopen:1980:CRR% }. \NAMECITE{theorem}{% Crespi-Reghizzi:1975:DTC,% Crespi-Reghizzi:1975:EDT,% Ehrenfeucht:1973:LTS,% Kundu:1979:IVT,% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{theorems}{% Engelfriet:1976:CT,% Kobuchi:1977:TCT,% Lassez:1982:FPT,% Pajunen:1980:TTL% }. \NAMECITE{Theoretic}{% Czaja:1980:DFP,% Hirschberg:1978:ITL% }. \NAMECITE{theories}{% Kobayashi:1974:NEE% }. \NAMECITE{Theory}{% Molchanov:1973:CDS,% Glushkov:1978:CPT,% Molchanov:1972:IMS% }. \NAMECITE{There}{% Ajtai:1978:TNF% }. \NAMECITE{thirds}{% Gelenbe:1971:TTR% }. \NAMECITE{Three}{% Bertoni:1979:TEA,% Ruohonen:1975:TRC,% Barak:1976:PED,% Inoue:1980:NDP,% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{three-restricted}{% Yokomori:1982:TRN,% Yokomori:1985:ETR% }. \NAMECITE{three-way}{% Inoue:1980:NDP% }. \NAMECITE{{Thue}}{% Istrail:1978:TSG% }. \NAMECITE{Time}{% Coffy:1973:CTC,% Doyle:1976:LET,% Gunn:1982:CTT,% Preparata:1980:AOV,% Umeo:1982:DOW,% Abelson:1979:NTS,% Aspvall:1979:LTA,% Aspvall:1982:ELT,% Bentley:1978:DCL,% Fischer:1982:LBT,% Floyd:1973:LTT,% Franklin:1979:PLS,% Garey:1978:LTA,% Grant:1977:ARE,% Grant:1977:REL,% Gries:1980:CFN,% Hansal:1974:SDP,% Henhapl:1971:RTM,% Javor:1977:ATA,% Jones:1977:NLT,% Kawai:1980:FSP,% Krepyshev:1972:SDO,% Leung:1980:NPS,% Misra:1979:STT,% Preparata:1975:TRE,% Slisenko:1982:CFG,% vanEmdeBoas:1977:POF% }. \NAMECITE{time-space}{% Abelson:1979:NTS% }. \NAMECITE{times}{% Barnett:1973:TRC,% Blazewicz:1979:DST% }. \NAMECITE{tool}{% Duncan:1975:LUP,% Slisenko:1982:CFG% }. \NAMECITE{top}{% Cherniavsky:1979:NCT% }. \NAMECITE{Topological}{% Knuth:1974:ESP,% Knuth:1974:SPG,% Yuval:1973:PCT% }. \NAMECITE{total}{% Soundararajan:1979:APT% }. \NAMECITE{{Towers}}{% Buneman:1980:THP% }. \NAMECITE{trade}{% Misra:1979:STT% }. \NAMECITE{tradeoffs}{% Abelson:1979:NTS% }. \NAMECITE{transducers}{% Engelfriet:1978:TTP% }. \NAMECITE{transfer}{% Bergstra:1982:STL% }. \NAMECITE{Transferences}{% Heuer:1973:NSB% }. \NAMECITE{transformation}{% Henhapl:1973:TMG% }. \NAMECITE{Transformational}{% Broy:1980:TSC% }. \NAMECITE{transformations}{% Matwin:1977:CST% }. \NAMECITE{transformer}{% Francez:1977:CFP,% Majster-Cederbaum:1980:SRB% }. \NAMECITE{Transforms}{% Feyock:1976:NTE,% Itano:1979:RPS% }. \NAMECITE{Transition}{% Tsur:1978:AQN,% Nieminen:1975:HIT% }. \NAMECITE{Transitive}{% Coffy:1973:CTC,% Munro:1971:EDT% }. \NAMECITE{translations}{% Culik:1979:SDR% }. \NAMECITE{translator}{% Solntseff:1972:EEC% }. \NAMECITE{transportable}{% Williams:1979:TCG% }. \NAMECITE{Traversal}{% Adams:1973:ARB% }. \NAMECITE{Traversing}{% Dwyer:1973:SAT,% Morris:1979:TBT,% Robson:1973:IAT,% Siklossy:1972:FRO% }. \NAMECITE{Tree}{% Adams:1973:ARB,% Camerini:1978:MMS,% Dwyer:1973:SAT,% Nath:1982:PAC,% Rohlf:1978:PMS,% Boari:1978:EMA,% Boari:1978:MAT,% Brent:1980:ABT,% Cockayne:1975:LAD,% Cockayne:1979:AME,% Engelfriet:1978:TTP,% Kang:1975:SPC,% Kruijer:1979:SSS,% Kundu:1976:LAH,% Kundu:1977:STN,% Kundu:1979:IVT,% Reising:1979:NRF,% Selkow:1977:TTE,% Varney:1972:PPU% }. \NAMECITE{tree-structured}{% Kruijer:1979:SSS% }. \NAMECITE{tree-to-tree}{% Selkow:1977:TTE% }. \NAMECITE{Trees}{% Boffey:1973:AMR,% Cahit:1975:GNS,% Johnson:1975:PQU,% Maurer:1976:IDU,% Minsky:1973:RBT,% Natarajan:1978:ODW,% Nievergelt:1972:BWP,% Samadi:1976:TSM,% Silva-Filho:1979:ACA,% Wessner:1976:OAS,% Bayer:1972:OBT,% Bentley:1975:ARS,% Brown:1978:SSH,% Brown:1979:ASS,% Brown:1979:SOR,% Clark:1975:FAC,% Dinic:1977:NTS,% Engelfriet:1972:NIT,% Franchi-Zannettacci:1982:ETS,% Hyafil:1976:COB,% Korsh:1982:GNO,% Misra:1975:OCP,% Mitchell:1979:LAE,% Morris:1979:TBT,% Robson:1973:IAT,% Rosenberg:1979:NPE,% Rotem:1975:CBB,% Siklossy:1972:FRO,% Tarjan:1982:SAM,% Tarjan:1986:SAM,% Wegbreit:1975:RCT,% Yao:1975:AFM,% Yao:1975:VAF,% Zaks:1982:GRA% }. \NAMECITE{Triangulating}{% Garey:1978:TSP% }. \NAMECITE{triangulation}{% Manacher:1979:NGN% }. \NAMECITE{tribute}{% Anonymous:1978:TR% }. \NAMECITE{Tries}{% Orenstein:1982:MTU% }. \NAMECITE{truth}{% Aspvall:1979:LTA,% Aspvall:1982:ELT% }. \NAMECITE{{Tsao}}{% Bini:1982:RPN% }. \NAMECITE{Tuning}{% Luque:1980:TAM% }. \NAMECITE{{Turing}}{% Deimel:1974:RCP,% Schnorr:1977:UHS,% Steckelberg:1977:RBA% }. \NAMECITE{Two}{% Akl:1979:TRC,% Bird:1977:TDP,% Galil:1976:TFS,% Harel:1979:ETR,% Harel:1979:TRP,% Inoue:1978:NTF,% Kessels:1979:TIC,% Kobuchi:1977:TCT,% Umeo:1982:DOW,% Andrew:1979:AEA,% Andrew:1980:CAE,% Arora:1979:MAT,% Backhouse:1982:WNS,% Bykat:1978:CHF,% Coffman:1973:NRP,% Devai:1979:CCH,% Ehrenfeucht:1979:FHB,% Ehrenfeucht:1980:EIT,% Floyd:1973:LTT,% Fournier:1979:CCH,% Frederickson:1980:PAS,% Gelenbe:1971:TTR,% Inoue:1980:NDP,% Itano:1979:RPS,% Jones:1977:NLT,% Nakamura:1980:RTD,% Overmars:1980:FCB,% Pajunen:1980:TTL,% Plesnik:1979:NCH,% Rowicki:1975:NOS,% Rowicki:1977:NOP% }. \NAMECITE{Two-Dimensional}{% Inoue:1978:NTF,% Frederickson:1980:PAS,% Inoue:1980:NDP,% Nakamura:1980:RTD% }. \NAMECITE{two-processor}{% Arora:1979:MAT,% Rowicki:1975:NOS,% Rowicki:1977:NOP% }. \NAMECITE{two-thirds}{% Gelenbe:1971:TTR% }. \NAMECITE{Two-Way}{% Umeo:1982:DOW,% Jones:1977:NLT% }. \NAMECITE{Type}{% Gunn:1982:CTT,% Sassa:1977:VTV,% Bergstra:1978:WAD,% Ferrari:1979:DLT,% Karhumaki:1973:EPS,% Pequeno:1979:ADT,% Rotem:1975:CBB% }. \NAMECITE{typed}{% Berry:1979:UDR% }. \NAMECITE{Types}{% Hansen:1975:UTC,% Berry:1979:UDR,% Laut:1980:SPI% }. \NAMECITE{{UET}}{% Leung:1979:BLS,% Lloyd:1980:ELS,% Lloyd:1980:LSB,% vanLeeuwen:1980:ELS% }. \NAMECITE{{Ullman}}{% Yao:1979:NCK% }. \NAMECITE{unbounded}{% Bentley:1976:AOA% }. \NAMECITE{undecidability}{% Rozenberg:1972:DPU% }. \NAMECITE{undecidable}{% Rozenberg:1972:EEP,% Rozenberg:1972:EPD% }. \NAMECITE{Understanding}{% Perl:1977:UCI% }. \NAMECITE{undirected}{% Ebert:1980:NOE% }. \NAMECITE{unicyclic}{% Mitchell:1979:LAE% }. \NAMECITE{Unification}{% deChampeaux:1978:SFS% }. \NAMECITE{uniformly}{% Lee:1974:LSD% }. \NAMECITE{unilaterally}{% Arjomandi:1976:FAU,% Cheston:1978:CUC% }. \NAMECITE{unintentional}{% Baker:1972:UOA% }. \NAMECITE{Union}{% Doyle:1976:LET,% Banachowski:1980:CTR,% Lao:1979:NDS% }. \NAMECITE{Union-Find}{% Doyle:1976:LET,% Lao:1979:NDS% }. \NAMECITE{unique}{% Molchanov:1972:AIB% }. \NAMECITE{Unit}{% Lang:1976:SUL,% Cohen:1973:SDU% }. \NAMECITE{Unit-Length}{% Lang:1976:SUL% }. \NAMECITE{United}{% Berry:1979:UDR% }. \NAMECITE{Universal}{% Hansen:1975:UTC,% Herman:1973:UCC,% Zuczek:1977:USP% }. \NAMECITE{universally}{% Schnorr:1977:UHS% }. \NAMECITE{unpredictability}{% Herschberg:1977:CFA% }. \NAMECITE{unravelling}{% Duncan:1975:LUP% }. \NAMECITE{unsolvability}{% Grabowski:1979:USP% }. \NAMECITE{unstructured}{% Oulsnam:1979:CND% }. \NAMECITE{Update}{% Johnson:1975:PQU% }. \NAMECITE{upper}{% Kung:1973:NUB,% Nieminen:1975:SOD% }. \NAMECITE{use}{% Campbell:1974:OUS,% Ogilvie:1972:UCS,% Pequeno:1979:ADT% }. \NAMECITE{Used}{% Arnborg:1974:ACM,% Orenstein:1982:MTU,% Varney:1972:PPU% }. \NAMECITE{Users}{% Samadi:1976:TSM% }. \NAMECITE{Using}{% Culik:1979:SIS,% Giegerich:1978:COP,% Hikita:1977:AFP,% Makarov:1979:UDC,% Maurer:1976:IDU,% Akritas:1979:SPE,% Hansal:1974:SDP,% Horowitz:1972:EFM,% Horowitz:1972:FMI,% Kessels:1979:TIC,% Schachtel:1978:NAM,% Tarjan:1982:HCA,% Teskey:1979:DRU,% Yuval:1976:AFA% }. \NAMECITE{{V}}{% Sassa:1977:VTV% }. \NAMECITE{{V}-Tape}{% Sassa:1977:VTV% }. \NAMECITE{valuation}{% Kundu:1979:IVT% }. \NAMECITE{value}{% Kundu:1979:IVT,% Whale:1972:CVB% }. \NAMECITE{Values}{% Grant:1977:NVR,% Grant:1979:PVT,% Meertens:1976:SST% }. \NAMECITE{Variables}{% Marsaglia:1976:IFM,% Henhapl:1971:RTM% }. \NAMECITE{variant}{% Deimel:1974:RCP,% Hanson:1976:SVB% }. \NAMECITE{Variation}{% Dobosiewicz:1980:EVB% }. \NAMECITE{Variational}{% deWolf:1976:NSI% }. \NAMECITE{Vector}{% Kameda:1975:VRR,% Madsen:1976:MMD,% Avis:1980:CLB,% Crespi-Reghizzi:1975:DTC,% Crespi-Reghizzi:1975:EDT,% Dobkin:1976:CV,% Grabowski:1980:DPV,% Hughes:1978:EVA,% Jakobsson:1978:HCB,% Jakobsson:1982:EHB,% Jantzen:1979:NVG,% vanEmdeBoas:1980:LBC% }. \NAMECITE{vector-addition}{% Crespi-Reghizzi:1975:DTC,% Crespi-Reghizzi:1975:EDT% }. \NAMECITE{vector-products}{% Dobkin:1976:CV% }. \NAMECITE{Vector/Parallel}{% Madsen:1976:MMD% }. \NAMECITE{vectors}{% Devroye:1980:NFC,% Teuhola:1978:CMC% }. \NAMECITE{verification}{% Pequeno:1979:ADT% }. \NAMECITE{Verifier}{% Galand:1975:SIS% }. \NAMECITE{verifying}{% Watjen:1982:AVE% }. \NAMECITE{versus}{% Rozenberg:1976:MES% }. \NAMECITE{Vertex}{% Sridharan:1974:CGV,% Sridharan:1975:ECG,% Simovici:1979:EIF% }. \NAMECITE{vertices}{% Garey:1978:LTA% }. \NAMECITE{Very}{% Maurer:1976:IDU% }. \NAMECITE{via}{% Devroye:1980:NFC,% Hanson:1980:CIL,% Luque:1980:TAM% }. \NAMECITE{Virtual}{% Sassa:1977:VTV,% Stacey:1971:RVM% }. \NAMECITE{{VLSI}}{% Johnson:1980:CVA,% Preparata:1980:AOV% }. \NAMECITE{{Voronoi}}{% Brown:1979:VDC% }. \NAMECITE{{Waite}}{% Dershowitz:1980:SMA% }. \NAMECITE{{Warren}}{% Dobosiewicz:1978:ARW% }. \NAMECITE{Way}{% Umeo:1982:DOW,% Inoue:1980:NDP,% Jones:1977:NLT% }. \NAMECITE{weak}{% Sudborough:1977:NWO,% Sudborough:1978:NWO,% Tarjan:1974:NAF% }. \NAMECITE{Weighted}{% Natarajan:1978:ODW,% Nievergelt:1972:BWP% }. \NAMECITE{Weights}{% Mizumoto:1973:EFG,% Reiser:1978:LSA% }. \NAMECITE{whether}{% Tarjan:1972:DWG% }. \NAMECITE{Which}{% Boffey:1973:AMR,% Friedman:1976:GCH,% Friedman:1977:EGC,% Galil:1976:TFS,% Tsur:1978:AQN% }. \NAMECITE{Within}{% Broy:1979:MSP,% Varney:1972:PPU% }. \NAMECITE{Without}{% Lindstrom:1973:SLS,% Bron:1972:OMB,% Devillers:1973:RPN,% Dwyer:1973:SAT,% Karlgren:1971:SRS,% Reddi:1977:ASC,% Robson:1973:IAT,% Ruohonen:1975:TRC,% Siklossy:1972:FRO% }. \NAMECITE{word}{% Kral:1972:ENA,% Kral:1972:NAP% }. \NAMECITE{word-length}{% Kral:1972:ENA,% Kral:1972:NAP% }. \NAMECITE{words}{% Ehrenfeucht:1979:FHB% }. \NAMECITE{working}{% Chroust:1972:EEM% }. \NAMECITE{Workspace}{% Fisher:1974:BWG% }. \NAMECITE{worst}{% Rohrich:1982:HQW% }. \NAMECITE{writer}{% Boari:1976:SPD% }. \NAMECITE{writers}{% Boari:1978:EMA,% Boari:1978:MAT% }. \NAMECITE{Writing}{% Backhouse:1982:WNS,% Friedman:1976:ODI,% Friedman:1979:EOD% }. \NAMECITE{{Xcribl}}{% Reddy:1972:XHS% }.