%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Wed Sep 26 08:25:19 MDT 2018 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$(\alpha,k)$}{% Stoklosa:1981:CM% }. \NAMECITE{$1$}{% Huynh:1984:DIC% }. \NAMECITE{$2$}{% Galbiati:1981:COB% }. \NAMECITE{$3n$}{% Blum:1984:BFR,% Schnorr:1980:LBN% }. \NAMECITE{$c \beta$}{% Mezghiche:1984:NRC% }. \NAMECITE{$\ell (\ell\ge3)$}{% Netto:1980:TIM% }. \NAMECITE{$F$}{% Hindley:1983:CTR% }. \NAMECITE{$g_0, g_1,{},g_k$}{% Lee:1983:TUS% }. \NAMECITE{$\gamma$}{% Long:1981:RVP% }. \NAMECITE{$ h(w) = w^n $}{% Harju:1984:EBA% }. \NAMECITE{$k$}{% Brandenburg:1983:UGP% }. \NAMECITE{$\lambda$}{% Hennessy:1980:MSN,% Hindley:1983:CTT% }. \NAMECITE{$n$}{% SchulteMonting:1981:MEE,% Szwerinski:1982:TOS% }. \NAMECITE{$n^2\log n$}{% Wegener:1982:BFW% }. \NAMECITE{${\Sigma}_2^p$}{% Huynh:1984:DIC% }. \NAMECITE{-calculus}{% Hennessy:1980:MSN% }. \NAMECITE{-complete}{% Huynh:1984:DIC% }. \NAMECITE{-dimensional}{% Szwerinski:1982:TOS% }. \NAMECITE{-lower}{% Schnorr:1980:LBN% }. \NAMECITE{-machines}{% Stoklosa:1981:CM% }. \NAMECITE{-output}{% Galbiati:1981:COB% }. \NAMECITE{-reducibility}{% Long:1981:RVP% }. \NAMECITE{-reduction}{% Mezghiche:1984:NRC% }. \NAMECITE{{}-semantics}{% Hindley:1983:CTR% }. \NAMECITE{-terms}{% Hindley:1983:CTT% }. \NAMECITE{-th}{% Brandenburg:1983:UGP% }. \NAMECITE{-trees}{% Lee:1983:TUS% }. \NAMECITE{{0L}}{% Lee:1983:TUS,% Siromoney:1984:IAC% }. \NAMECITE{{2DST}}{% Ibarra:1982:MLR% }. \NAMECITE{Abstract}{% Pair:1982:ADT,% Broy:1984:SSM,% Ehrig:1982:AIA,% Goguen:1984:SFAb,% Klaeren:1984:CMA,% Schmidt:1983:APA,% Storer:1983:TAT% }. \NAMECITE{abstractions}{% Callegarin:1981:AIP,% Wand:1982:SMI% }. \NAMECITE{acceleration}{% Pan:1984:TTA% }. \NAMECITE{acceptability}{% Nakamura:1983:PFT% }. \NAMECITE{acceptors}{% Cohen:1980:COT,% Simon:1981:TBP,% Toda:1983:TDP% }. \NAMECITE{access}{% Kirkpatrick:1984:UBS% }. \NAMECITE{{Ackermann}}{% Tao:1981:CPA% }. \NAMECITE{acyclic}{% Maier:1984:CAH% }. \NAMECITE{adaptation}{% Olderog:1983:NER% }. \NAMECITE{Additive}{% Grigorev:1982:ACD,% Schnorr:1980:ACP% }. \NAMECITE{Adequacy}{% Best:1982:APP% }. \NAMECITE{Adherences}{% Head:1984:ADL,% Istrail:1982:SRN% }. \NAMECITE{Admissible}{% Bagchi:1983:AHS,% Weihrauch:1983:ARE% }. \NAMECITE{admit}{% Mahr:1984:CSL% }. \NAMECITE{advice}{% Thatcher:1981:MAS% }. \NAMECITE{{AFLs}}{% Beauquier:1981:SSA% }. \NAMECITE{aggregating}{% Pan:1984:TTA% }. \NAMECITE{Algebra}{% Austry:1984:APS,% Nemeti:1982:EFA% }. \NAMECITE{Algebraic}{% Delest:1984:ALP,% Ehrich:1983:ADE,% Ehrig:1982:AIA,% Gogolla:1984:AOS,% Kamimura:1983:ARP,% Cousineau:1980:ADC,% Ehrig:1984:PPA,% Goguen:1984:SFAa,% Goguen:1984:SFAb,% Heintz:1980:LBP,% Klaeren:1984:CMA,% Lazard:1981:SAE,% Pair:1982:ADT,% Uchimura:1984:TIM,% Winkowski:1982:ADS% }. \NAMECITE{algebraically}{% Heintz:1983:DFQ% }. \NAMECITE{algebras}{% Adamek:1983:SCA,% Alder:1981:ACA,% Bruce:1984:CAT,% Indermark:1982:RDC,% Kozen:1980:CBA,% Nelson:1983:IA,% Nemeti:1982:EFA,% Parisi-Presicce:1984:IFA% }. \NAMECITE{algorithm}{% Bougaut:1980:EAP,% Cox:1984:CNA,% Tomita:1983:DBA,% Tomita:1984:EDB% }. \NAMECITE{algorithmic}{% Alder:1981:ACA,% Bergstra:1982:EIQ,% Gacs:1983:RBD% }. \NAMECITE{algorithms}{% Berry:1982:SAC,% Galil:1981:TEV,% Monier:1980:ECT,% Moran:1981:GAA,% Rosenthal:1981:OAS% }. \NAMECITE{allocation}{% Gupta:1981:RAM% }. \NAMECITE{allowing}{% Gogolla:1984:AOS% }. \NAMECITE{alphabet}{% Huynh:1984:DIC,% Raiha:1981:SCS% }. \NAMECITE{alphabets}{% Harju:1984:EBA% }. \NAMECITE{Alternating}{% Miyano:1984:AFA,% Inoue:1983:TDA% }. \NAMECITE{alternation}{% Furer:1982:CPA,% Volger:1983:TML% }. \NAMECITE{Alternative}{% Emerson:1983:AST% }. \NAMECITE{ambiguity}{% Ehrenfeucht:1980:AES,% Honkala:1984:BAN% }. \NAMECITE{ambiguous}{% Arnold:1983:ROL,% Ehrenfeucht:1984:IAE% }. \NAMECITE{among}{% Loui:1982:SAM% }. \NAMECITE{analysis}{% Rosenthal:1981:OAS% }. \NAMECITE{{AND/OR}}{% Bagchi:1983:AHS% }. \NAMECITE{Any}{% Wasilkowski:1983:IPE% }. \NAMECITE{Applicability}{% Kurka:1980:APC% }. \NAMECITE{application}{% Engeler:1981:GGT,% Heilbrunner:1983:MUP% }. \NAMECITE{applications}{% Ershov:1982:MCP,% Gallier:1981:DAN,% Hunt:1983:CMR,% Nesetril:1984:SNR,% Uchimura:1982:PSG% }. \NAMECITE{approach}{% Ausiello:1980:TUA,% Heilbrunner:1981:PAA,% Jankowski:1983:LFA,% Schoning:1982:UAO,% Sifakis:1982:UAS,% Therien:1981:CFM% }. \NAMECITE{appropriate}{% Megiddo:1982:BEA% }. \NAMECITE{Approximation}{% Schmidt:1983:APA,% Bini:1984:CA,% Moran:1981:GAA% }. \NAMECITE{approximations}{% Paz:1981:NDP% }. \NAMECITE{arbitrary}{% Szwerinski:1982:TOS% }. \NAMECITE{arithmetic}{% Bergstra:1983:HLP,% Borger:1980:RPP,% Furer:1982:CPA,% Ibarra:1982:CSA% }. \NAMECITE{arithmetical}{% Kent:1982:ACN,% Moran:1981:GAA% }. \NAMECITE{array}{% Siromoney:1984:IAC% }. \NAMECITE{arrays}{% Siromoney:1983:IAI,% Siromoney:1984:IAC% }. \NAMECITE{assignment}{% Coppo:1984:CTA,% Dutton:1982:CMT% }. \NAMECITE{associated}{% Uchimura:1984:TIM% }. \NAMECITE{associative}{% Alder:1981:ACA,% Rosenthal:1981:OAS% }. \NAMECITE{asymptotic}{% Lotti:1983:ACR,% Pan:1984:TTA% }. \NAMECITE{asynchronous}{% Staples:1983:CBA% }. \NAMECITE{asynchrony}{% Milner:1983:CSA% }. \NAMECITE{'atomic}{% Gallier:1981:DAN% }. \NAMECITE{Attribute}{% Courcelle:1982:AGRa,% Courcelle:1982:AGRb,% Madhavan:1984:SAR% }. \NAMECITE{augmentation}{% Frederickson:1982:RBB% }. \NAMECITE{Automata}{% Priese:1983:AC,% Alaiwan:1984:EIB,% Brzozowski:1980:ERL,% Culik:1983:FLR,% Culik:1984:ITA,% Duris:1983:OWS,% Hall:1984:BCI,% Heilbrunner:1981:PAA,% Ibarra:1984:CCC,% Inoue:1983:RBT,% Kinber:1983:IPS,% Leiss:1981:SRR,% Maruoka:1981:PDT,% Maruoka:1983:OMT,% Miyano:1984:AFA,% Nakamura:1983:PFT,% Steinby:1983:STS,% Tao:1981:CPA,% Tomita:1984:EDB,% Uchimura:1982:PSG% }. \NAMECITE{automaton}{% Duris:1982:FTW,% Goldstine:1982:PAC,% Hodgson:1982:DPA,% Pittl:1983:CRD% }. \NAMECITE{automorphism}{% Cori:1982:CMP,% Gati:1981:SEG% }. \NAMECITE{Average}{% Traub:1984:ACO,% Blum:1980:ANR% }. \NAMECITE{axiomatization}{% Bancilhon:1984:SCA% }. \NAMECITE{axioms}{% Csirmaz:1982:DPE% }. \NAMECITE{balanced}{% Blum:1980:ANR% }. \NAMECITE{bands}{% Main:1981:FUR% }. \NAMECITE{Bandwidth}{% Sudborough:1983:BCP% }. \NAMECITE{based}{% Maluszynski:1984:TPL,% Wedde:1983:ISF% }. \NAMECITE{Bases}{% Honkala:1984:BAN,% Jankowski:1983:LFA% }. \NAMECITE{basis}{% Takasu:1981:LBP% }. \NAMECITE{{BC}}{% Daley:1983:ECP% }. \NAMECITE{{BC-type}}{% Daley:1983:ECP% }. \NAMECITE{be}{% Lehmann:1982:END,% Valiant:1980:NCE% }. \NAMECITE{behavior}{% Alaiwan:1984:EIB% }. \NAMECITE{behaviour}{% Lynch:1980:DBI,% Staples:1983:CBA,% Valk:1983:IBP% }. \NAMECITE{Behaviours}{% Winkowski:1980:BCS,% Winkowski:1982:ADS% }. \NAMECITE{better}{% Duris:1982:FTW% }. \NAMECITE{between}{% Atzeni:1982:IEB,% Bougaut:1980:EAP,% Frederickson:1982:RBB,% Gacs:1983:RBD,% Inoue:1983:RBT,% Nakamura:1983:RBG,% Snir:1982:CBL% }. \NAMECITE{biconnectivity}{% Frederickson:1982:RBB% }. \NAMECITE{Bilimits}{% Girault-Beauquier:1984:BRL% }. \NAMECITE{binary}{% Harju:1984:EBA,% Megiddo:1982:BEA,% Raiha:1981:SCS% }. \NAMECITE{bipolar}{% Genrich:1984:TBS% }. \NAMECITE{Biprefix}{% Hall:1984:BCI,% Margolis:1982:STS,% Perrin:1984:CBC% }. \NAMECITE{{Boolean}}{% Blum:1984:BFR,% Galbiati:1981:COB,% Kozen:1980:CBA,% Leiss:1981:SRR,% Schnorr:1980:LBN,% Wegener:1982:BFW% }. \NAMECITE{bound}{% Ehrenfeucht:1980:BDS,% Frederickson:1984:RRO,% Loui:1981:SBO,% Schnorr:1980:LBN% }. \NAMECITE{Bounded}{% Book:1981:BQMa,% Book:1981:BQMb,% Furer:1982:CPA,% Gill:1980:DST,% Inoue:1983:RBT,% Lewis:1982:SSB,% Simon:1981:TBP,% Tao:1981:CPA,% Volger:1983:TML% }. \NAMECITE{bounds}{% Heintz:1980:LBP,% Kirkpatrick:1984:UBS,% Lev:1983:SBS% }. \NAMECITE{{Boyce}}{% Ginsburg:1983:CFD% }. \NAMECITE{{Boyce-Codd}}{% Ginsburg:1983:CFD% }. \NAMECITE{branching}{% Havel:1980:BL,% Havel:1980:BLI,% Tomita:1983:DBA,% Tomita:1984:EDB,% deBakker:1984:LTB% }. \NAMECITE{Calculi}{% Milner:1983:CSA,% Astesiano:1984:DSN% }. \NAMECITE{calculus}{% Hennessy:1980:MSN,% Ketonen:1984:DFP,% Kozen:1983:RPM,% Stratman:1981:ECT,% VenturiniZilli:1984:RGL% }. \NAMECITE{can}{% Snir:1982:CBL,% Valiant:1980:NCE% }. \NAMECITE{{Cartesian}}{% Smyth:1983:LCC% }. \NAMECITE{case}{% Book:1982:WMG,% Traub:1984:ACO% }. \NAMECITE{categorical}{% Kurka:1980:APC% }. \NAMECITE{categories}{% Goguen:1984:SFAa% }. \NAMECITE{category}{% Smyth:1983:LCC% }. \NAMECITE{causal}{% Fernandez:1984:DCC% }. \NAMECITE{{CCS}}{% Astesiano:1984:PCL% }. \NAMECITE{cedar}{% Fraenkel:1984:WGC% }. \NAMECITE{centers}{% deLuca:1983:CL% }. \NAMECITE{certain}{% Bougaut:1980:EAP,% Squier:1982:NRC% }. \NAMECITE{{CF}}{% Uchimura:1984:TIM% }. \NAMECITE{chain}{% Blum:1983:MPC% }. \NAMECITE{channels}{% Astesiano:1984:PCL% }. \NAMECITE{characteristics}{% Kucera:1980:CDT% }. \NAMECITE{Characterization}{% Kobayashi:1984:COR,% Escrig:1984:CPO,% Kent:1982:ACN,% Ramanan:1983:CSC,% Shepherdson:1982:GTC,% Shyamasundar:1982:CPP% }. \NAMECITE{Characterizations}{% Ginsburg:1983:CFD,% Ibarra:1984:CCC,% Crochemore:1982:SCS,% Gurari:1981:CEP% }. \NAMECITE{Characterizing}{% Mahr:1984:CSL% }. \NAMECITE{checking}{% Maon:1984:TSC,% Tomita:1983:DBA,% Tomita:1984:EDB% }. \NAMECITE{{Church}}{% Book:1981:TCR,% Book:1982:WMG,% Book:1983:DSC,% ODunglaing:1983:UQR,% Otto:1984:SUR% }. \NAMECITE{claim}{% Karhumaki:1984:ECC% }. \NAMECITE{class}{% Wedde:1983:ISF% }. \NAMECITE{classes}{% Ibarra:1983:SPL,% Kinber:1983:IPS,% Kozen:1980:ISC,% Landweber:1981:SSN,% Oyamaguchi:1984:SRS,% Schoning:1982:UAO,% Yap:1983:SCN% }. \NAMECITE{Classification}{% Therien:1981:CFM,% Ausiello:1980:TUA% }. \NAMECITE{closed}{% Duris:1983:OWS,% Heintz:1983:DFQ,% Smyth:1983:LCC,% Stratman:1981:ECT% }. \NAMECITE{Closure}{% Rozenberg:1983:SLPb,% Takahashi:1983:NSR% }. \NAMECITE{Closures}{% Lassez:1984:CFS% }. \NAMECITE{{Codd}}{% Ginsburg:1983:CFD% }. \NAMECITE{code}{% Margolis:1982:STS% }. \NAMECITE{codes}{% Hall:1984:BCI,% Head:1982:FDL,% Maurer:1983:CNS,% Netto:1980:TIM,% Perrin:1984:CBC,% deLuca:1980:SPV% }. \NAMECITE{coefficients}{% Heintz:1980:LBP% }. \NAMECITE{colimits}{% Goguen:1984:SFAa% }. \NAMECITE{Color}{% Welzl:1982:CFD% }. \NAMECITE{Color-families}{% Welzl:1982:CFD% }. \NAMECITE{Coloured}{% Jensen:1981:CPN% }. \NAMECITE{combinations}{% Oppen:1980:CCC% }. \NAMECITE{combinatorial}{% Moran:1981:GAA% }. \NAMECITE{combinatory}{% Bruce:1984:CAT,% Mezghiche:1984:NRC% }. \NAMECITE{Comma}{% Goguen:1984:SFAa% }. \NAMECITE{Comments}{% Ben-Ari:1980:CTT% }. \NAMECITE{common}{% Raiha:1981:SCS% }. \NAMECITE{communicating}{% Elrad:1984:WPS,% Hehner:1983:MCM% }. \NAMECITE{commutations}{% Clerbout:1984:PCF% }. \NAMECITE{commutativity}{% Bini:1984:CA% }. \NAMECITE{compactness}{% Karhumaki:1984:ECC% }. \NAMECITE{Comparison}{% Case:1983:CIC,% MeyerAufDerHeide:1981:CTV,% Monier:1980:ECT,% Stolboushkin:1983:CEP% }. \NAMECITE{Comparisons}{% Snir:1982:CBL,% Fachini:1984:HPR% }. \NAMECITE{Compatibility}{% Ehrig:1983:CPP% }. \NAMECITE{compilers}{% Thatcher:1981:MAS% }. \NAMECITE{complete}{% Andreka:1982:CLRa,% Andreka:1982:CLRb,% Ausiello:1980:TUA,% Avenhaus:1984:NRP,% Bancilhon:1984:SCA,% Boe:1980:MCS,% Cox:1984:CNA,% Goldschlager:1982:MFP,% Hartmanis:1982:NNC,% Hehner:1983:MCM,% Hindley:1983:CTR,% Huynh:1984:DIC,% Indermark:1982:RDC,% Netto:1980:TIM,% Otto:1984:FCR,% Sudborough:1983:BCP,% Vazirani:1983:NES,% Plaisted:1984:NNH,% Raiha:1981:SCS% }. \NAMECITE{Completeness}{% Coppo:1984:CTA,% Hindley:1983:CTT,% Kozen:1981:EPC% }. \NAMECITE{Completing}{% Perrin:1984:CBC% }. \NAMECITE{Complexity}{% Benzaken:1981:CGE,% Kelemenova:1984:CNF,% Kozen:1980:CBA,% Kucera:1980:CDT,% Oppen:1980:CCC,% Alder:1981:ACA,% Avenhaus:1984:CIC,% Bauer:1983:CPD,% Berman:1980:CLT,% Bucher:1981:NPT,% Bucher:1984:CFC,% Burkhard:1981:ICT,% Chlebus:1982:CCS,% Cohen:1980:COT,% Denenberg:1984:CSP,% Dobkin:1980:CLP,% Dutton:1982:CMT,% Ehrenfeucht:1981:SCS,% Engeler:1981:GGT,% Furer:1982:CPA,% Gacs:1983:RBD,% Galbiati:1981:COB,% Gati:1981:SEG,% Grant:1980:SMI,% Grigorev:1982:ACD,% Gurari:1981:CEP,% Hartmann:1980:MCS,% Hunt:1983:CMR,% Ibarra:1982:CSA,% Ibarra:1984:CCC,% Katseff:1981:SRP,% Ko:1982:CCR,% Landweber:1981:SSN,% Leivant:1982:UTC,% Lempel:1983:CMF,% Lieberherr:1981:UCD,% Lotti:1983:ACR,% Perl:1982:CEL,% Schnorr:1980:ACP,% Schnorr:1980:LBN,% Schoning:1982:UAO,% Wasilkowski:1983:IPE,% Wegener:1982:BFW% }. \NAMECITE{components}{% Janicki:1984:NSC% }. \NAMECITE{compression}{% Storer:1983:TAT% }. \NAMECITE{Computation}{% Gordon:1983:CRF,% Hartmanis:1984:CTN,% Staples:1980:CGL,% Ershov:1982:MCP,% Goguen:1984:SFAa,% Goguen:1984:SFAb,% Lewis:1982:SSB% }. \NAMECITE{Computational}{% Ko:1982:CCR,% Chlebus:1982:CCS,% Ibarra:1984:CCC,% Tao:1981:CPA% }. \NAMECITE{Computations}{% Stoklosa:1981:CM,% Grigorev:1982:ACD,% Siromoney:1983:IAI,% deBakker:1983:ICD% }. \NAMECITE{compute}{% vonzurGathen:1980:SPH% }. \NAMECITE{Computer}{% Anonymous:1984:SCF,% Gelenbe:1983:SDF,% Vishkin:1984:PDD% }. \NAMECITE{Computing}{% Staples:1983:CBA,% Wiedmer:1980:CIO% }. \NAMECITE{concatenation}{% Duris:1983:OWS,% Volger:1983:TML% }. \NAMECITE{Concerning}{% Latteux:1981:CLS,% Ibarra:1983:SDQ% }. \NAMECITE{Concise}{% Bucher:1981:CDF% }. \NAMECITE{concrete}{% Berry:1982:SAC% }. \NAMECITE{concurrency}{% Ehrig:1980:PCG,% Janicki:1984:NSC,% Priese:1983:AC% }. \NAMECITE{concurrent}{% Pnueli:1980:TSC,% Winkowski:1980:BCS,% deNicola:1984:TEP% }. \NAMECITE{Conditional}{% Kaplan:1984:CRR% }. \NAMECITE{conditions}{% Ito:1983:MPE,% Yap:1983:SCN% }. \NAMECITE{Conference}{% Anonymous:1984:SCF% }. \NAMECITE{congruence}{% Stoy:1981:CTP% }. \NAMECITE{congruences}{% Book:1983:DSC% }. \NAMECITE{conjecture}{% Karhumaki:1984:ECC% }. \NAMECITE{conjugacy}{% Avenhaus:1984:CIC% }. \NAMECITE{Connections}{% Maier:1984:CAH% }. \NAMECITE{consequences}{% Yap:1983:SCN% }. \NAMECITE{consisting}{% Ehrenfeucht:1982:GPC% }. \NAMECITE{constant}{% Netto:1980:TIM% }. \NAMECITE{constraints}{% Joshi:1980:LCP,% Paredaens:1982:UFE,% Sudborough:1983:BCP% }. \NAMECITE{constructability}{% Karpinski:1982:DSM% }. \NAMECITE{Constructing}{% Pittl:1983:CRD% }. \NAMECITE{Construction}{% Cori:1982:CMP,% Meshulam:1984:GCS% }. \NAMECITE{constructive}{% Klaeren:1984:CMA% }. \NAMECITE{containment}{% Oyamaguchi:1984:SRS% }. \NAMECITE{Context}{% Bucher:1984:CFC,% Kleijn:1981:CFR,% Blum:1983:MPC,% Bucher:1983:IDW,% Ehrenfeucht:1983:RCF,% Ekkonen:1982:SPE,% Goldstine:1982:PAC,% Hotz:1980:NIC,% Huynh:1984:DIC,% Istrail:1982:GGR,% Niemi:1984:UFE% }. \NAMECITE{Context-free}{% Bucher:1984:CFC,% Kleijn:1981:CFR,% Blum:1983:MPC,% Bucher:1983:IDW,% Ehrenfeucht:1983:RCF,% Ekkonen:1982:SPE,% Goldstine:1982:PAC,% Huynh:1984:DIC,% Niemi:1984:UFE% }. \NAMECITE{context-sensitive}{% Istrail:1982:GGR% }. \NAMECITE{continued}{% Fraenkel:1984:WGC% }. \NAMECITE{continuous}{% Adamek:1983:SCA,% Back:1983:CSU,% Carter:1981:NEC,% Coppo:1984:CTA,% Fernandez:1984:DCC% }. \NAMECITE{control}{% Chin:1984:EIC,% Cousineau:1980:ADC,% Ibarra:1983:CPI,% Maggiolo-Schettini:1980:MSC,% Tennent:1983:SIC,% Wedde:1983:ISF% }. \NAMECITE{controlled}{% Janssens:1982:GGN,% Siromoney:1984:IAC% }. \NAMECITE{convexity}{% Oppen:1980:CCC% }. \NAMECITE{Coping}{% Ravikumar:1984:CKP% }. \NAMECITE{{Coppo}}{% Hindley:1984:CDT% }. \NAMECITE{{Coppo-Dezani}}{% Hindley:1984:CDT% }. \NAMECITE{correct}{% Thatcher:1981:MAS% }. \NAMECITE{correcting}{% Daley:1983:ECP% }. \NAMECITE{Correctness}{% Olderog:1984:CPP,% Soundararajan:1983:CPC,% Bergstra:1982:FPC,% Gallier:1981:NFPa,% Gallier:1981:NFPb,% Harel:1980:PCR,% Harel:1981:TCN,% Schmidt:1981:PPGa% }. \NAMECITE{correspond}{% Hindley:1984:CDT% }. \NAMECITE{Correspondence}{% Ehrenfeucht:1982:GPC% }. \NAMECITE{counter}{% Duris:1982:FTW,% Kuich:1983:ILS,% Lam:1981:GCS,% Miyano:1982:TWD% }. \NAMECITE{counterexample}{% Ramanan:1983:CSC% }. \NAMECITE{counting}{% Angluin:1980:CPP% }. \NAMECITE{covering}{% Kucera:1980:CDT% }. \NAMECITE{cpos}{% Weihrauch:1981:EMS,% Weihrauch:1983:ARE,% Saheb-Djahromi:1980:CMN% }. \NAMECITE{criteria}{% Case:1983:CIC% }. \NAMECITE{cross}{% Bancilhon:1984:SCA% }. \NAMECITE{{CSP}}{% Soundararajan:1983:CPC,% Soundararajan:1984:DSC% }. \NAMECITE{{Curry}}{% Hindley:1983:CTR% }. \NAMECITE{cylindrification}{% Germano:1981:SRC% }. \NAMECITE{{D}}{% Fernandez:1984:DCC% }. \NAMECITE{{D}-continuous}{% Fernandez:1984:DCC% }. \NAMECITE{{D0L}}{% Ehrenfeucht:1980:BDS,% Ehrenfeucht:1980:ETE,% Ehrenfeucht:1981:SCS,% Head:1984:ADL,% Prodinger:1980:IDS% }. \NAMECITE{{D0L-sequences}}{% Prodinger:1980:IDS% }. \NAMECITE{{D0S}}{% Ehrenfeucht:1982:RTU% }. \NAMECITE{data}{% Bergstra:1984:HLP,% Berry:1982:SAC,% Broy:1984:SSM,% Callegarin:1981:AIP,% Ehrig:1982:AIA,% Ehrig:1983:CPP,% Frederickson:1984:RRO,% Ito:1984:MPD,% Jankowski:1983:LFA,% Madhavan:1984:SAR,% Pair:1982:ADT,% Rosenberg:1980:UDE,% Schmidt:1983:APA,% Storer:1983:TAT,% Wand:1982:SMI% }. \NAMECITE{database}{% Atzeni:1982:IEB,% Paredaens:1982:UFE% }. \NAMECITE{databases}{% Nambiar:1983:RFD% }. \NAMECITE{dataflow}{% Wadge:1980:ETD% }. \NAMECITE{deadlines}{% Dutton:1982:CMT% }. \NAMECITE{deadlock}{% Wadge:1980:ETD% }. \NAMECITE{Decidability}{% Karpinski:1982:DSM,% Itzhaik:1984:NFN% }. \NAMECITE{Decidable}{% Book:1983:DSC,% Bergstra:1982:SNS,% Bucher:1983:IDW,% Ehrenfeucht:1982:GPC,% Hodgson:1982:DPA,% Ketonen:1984:DFP% }. \NAMECITE{Deciding}{% Huynh:1984:DIC% }. \NAMECITE{decision}{% Borger:1980:RPP,% Fachini:1984:HPR,% Ibarra:1983:SDQ,% Istrail:1983:NPS,% Volger:1983:TML% }. \NAMECITE{decisively}{% Ainhirn:1982:MID% }. \NAMECITE{decomposition}{% Kanaoka:1984:DSS,% Maruoka:1981:PDT% }. \NAMECITE{decompositions}{% Paredaens:1982:UFE% }. \NAMECITE{deductive}{% Dybjer:1984:SRD% }. \NAMECITE{Definability}{% Heintz:1983:DFQ,% Kfoury:1983:DPF% }. \NAMECITE{defined}{% Callegarin:1981:AIP,% Freund:1983:RFN,% Jacob:1984:FPS,% Jantzen:1984:HIS,% deBruijn:1984:SMD% }. \NAMECITE{defining}{% Jantzen:1981:SMS% }. \NAMECITE{definition}{% Cousineau:1980:ADC% }. \NAMECITE{definitions}{% Indermark:1982:RDC,% Stoy:1981:CTP,% deSimone:1984:MSI% }. \NAMECITE{delay}{% Apt:1984:FTR,% Gupta:1981:RAM% }. \NAMECITE{Denotational}{% Soundararajan:1984:DSC,% Boussinot:1982:PDS,% deBakker:1983:ICD% }. \NAMECITE{dense}{% Lehmann:1982:END,% Welzl:1982:CFD% }. \NAMECITE{densities}{% Hartmanis:1984:CTN% }. \NAMECITE{dependencies}{% Bancilhon:1984:SCA,% Biskup:1980:IMD,% Dybjer:1984:SRD,% Ito:1983:MPE,% Ito:1984:MPD,% Nambiar:1983:RFD,% Paredaens:1982:UFE,% Sadri:1982:TFT% }. \NAMECITE{dependency}{% Fischer:1983:SDS,% Ginsburg:1983:CFD,% Ginsburg:1983:ODR% }. \NAMECITE{dependent}{% Homer:1983:ODP% }. \NAMECITE{depth}{% Eisman:1983:DEL,% Furer:1982:CPA,% Hunt:1983:CMR,% Meshulam:1984:GCS,% Schnitger:1982:FGE% }. \NAMECITE{depth-reduction}{% Schnitger:1982:FGE% }. \NAMECITE{derivatives}{% Bauer:1983:CPD% }. \NAMECITE{describing}{% Lynch:1980:DBI% }. \NAMECITE{description}{% Bucher:1981:CDF,% Winkowski:1982:ADS% }. \NAMECITE{descriptional}{% Gacs:1983:RBD% }. \NAMECITE{design}{% Vishkin:1984:PDD% }. \NAMECITE{detection}{% Apostolico:1983:OLD,% Dobkin:1983:FDP% }. \NAMECITE{Determinateness}{% Csirmaz:1982:DPE% }. \NAMECITE{Determining}{% Dobkin:1980:DM% }. \NAMECITE{Determinism}{% Rajlich:1983:DPS% }. \NAMECITE{Deterministic}{% Gill:1980:DST,% Chazelle:1983:UHE,% Gelenbe:1983:SDF,% Hagauer:1982:FED,% Halpern:1983:PDL,% Harel:1980:PCR,% Kinber:1983:IPS,% King:1980:ITF,% Miyano:1982:TWD,% Paz:1981:NDP,% Pittl:1983:CRD,% Siromoney:1984:IAC,% Tomita:1983:DBA,% Tomita:1984:EDB% }. \NAMECITE{{Dezani}}{% Hindley:1984:CDT% }. \NAMECITE{diagonal}{% Schoning:1982:UAO% }. \NAMECITE{differ}{% Ainhirn:1982:MID% }. \NAMECITE{different}{% Hartmanis:1984:CTN% }. \NAMECITE{digital}{% Lieberherr:1981:UCD% }. \NAMECITE{dimension}{% Kucera:1980:CDT% }. \NAMECITE{dimensional}{% Inoue:1983:RBT,% Inoue:1983:TDA,% Szwerinski:1982:TOS,% Toda:1983:TDP% }. \NAMECITE{direct}{% Hodgson:1982:DPA,% Tomita:1983:DBA,% Tomita:1984:EDB% }. \NAMECITE{directed}{% Fortune:1980:DSH,% Grigorev:1982:ACD,% deBruijn:1984:SMD% }. \NAMECITE{discrete}{% Gelenbe:1983:SDF% }. \NAMECITE{distributed}{% Cohen:1984:SES,% Francez:1984:LHS,% Lynch:1980:DBI,% Maggiolo-Schettini:1980:MSC,% Vishkin:1984:PDD,% Wedde:1983:ISF% }. \NAMECITE{distributed-implementation}{% Vishkin:1984:PDD% }. \NAMECITE{distribution}{% Maon:1984:TSC% }. \NAMECITE{Distributive}{% Astesiano:1984:DSN% }. \NAMECITE{divisibility}{% Plaisted:1984:NNH% }. \NAMECITE{division}{% Ibarra:1983:CPI% }. \NAMECITE{do}{% Hindley:1984:CDT% }. \NAMECITE{{DOL}}{% Head:1982:FDL,% Head:1983:DSP% }. \NAMECITE{domain}{% Ehrich:1983:ADE,% Jankowski:1983:LFA% }. \NAMECITE{domains}{% Kamimura:1984:TOD,% Nielsen:1980:PNE,% Smyth:1983:LCC% }. \NAMECITE{Dominoes}{% Culik:1982:DFM% }. \NAMECITE{{DPDA's}}{% Gallier:1981:DAN,% Itzhaik:1984:NFN,% Oyamaguchi:1984:SRS% }. \NAMECITE{dual}{% Nguyen:1981:DPL% }. \NAMECITE{Dynamic}{% Berman:1981:PDL,% Halpern:1983:PDL,% Harel:1980:PCR,% Meyer:1982:EPL,% Nemeti:1982:EFA,% Stolboushkin:1983:CEP% }. \NAMECITE{{E0L}}{% Ehrenfeucht:1980:AES,% Ehrenfeucht:1984:IAE,% Maurer:1980:SEF,% Niemi:1984:UFE,% Rozenberg:1981:PTI,% Rozenberg:1984:SPE% }. \NAMECITE{economical}{% Cohen:1984:SES,% Goldstine:1982:PAC% }. \NAMECITE{edge}{% Kucera:1980:CDT,% Perl:1982:CEL% }. \NAMECITE{edge-covering}{% Kucera:1980:CDT% }. \NAMECITE{{EDT0L}}{% Eisman:1984:RGF% }. \NAMECITE{{EDTOL}}{% Eisman:1983:DEL% }. \NAMECITE{effective}{% Weihrauch:1983:ARE% }. \NAMECITE{Effectively}{% Kamimura:1984:EGS% }. \NAMECITE{efficiency}{% Galil:1981:TEV% }. \NAMECITE{Efficient}{% Chin:1984:EIC,% Jaffe:1980:EST,% Monier:1980:ECT% }. \NAMECITE{{Ehrenfeucht}}{% Karhumaki:1984:ECC% }. \NAMECITE{elementary}{% Kozen:1981:EPC% }. \NAMECITE{elements}{% Gati:1981:SEG,% SchulteMonting:1981:MEE% }. \NAMECITE{eliminating}{% Monien:1982:ENT% }. \NAMECITE{elimination}{% Bergstra:1982:EIQ,% Ekkonen:1982:SPE,% Heintz:1983:DFQ% }. \NAMECITE{embeddability}{% Benzaken:1981:CGE% }. \NAMECITE{embedded}{% Bancilhon:1984:SCA,% Ito:1983:MPE% }. \NAMECITE{Embedding}{% Weihrauch:1981:EMS,% Janssens:1982:GGN% }. \NAMECITE{embeddings}{% Head:1983:DSP% }. \NAMECITE{emptiness}{% Karpinski:1982:DSM% }. \NAMECITE{encoding}{% Megiddo:1982:BEA,% Vazirani:1983:NES% }. \NAMECITE{encodings}{% Rosenberg:1980:UDE% }. \NAMECITE{entails}{% Karpinski:1982:DSM% }. \NAMECITE{enumerable}{% Istrail:1982:GGR% }. \NAMECITE{Enumeration}{% Sato:1984:ESP,% Delest:1984:ALP% }. \NAMECITE{envelope}{% Ehrenfeucht:1980:ETE% }. \NAMECITE{{EOL}}{% Ainhirn:1982:MID% }. \NAMECITE{Epis}{% Lehmann:1982:END% }. \NAMECITE{equationally}{% Callegarin:1981:AIP% }. \NAMECITE{equations}{% Brzozowski:1980:ERL,% Ehrich:1983:ADE,% Harju:1984:EBA,% Lazard:1981:SAE,% Leiss:1981:GLE,% Wasilkowski:1983:IPE% }. \NAMECITE{Equivalance}{% Alaiwan:1984:EIB% }. \NAMECITE{equivalence}{% Atzeni:1982:IEB,% Bergstra:1982:FPC,% Csirmaz:1982:DPE,% Ehrenfeucht:1980:BDS,% Gallier:1981:DAN,% Gurari:1981:CEP,% Hagauer:1982:FED,% Maon:1984:TSC,% Niemi:1984:UFE,% Schmidt:1981:PPGa,% Tomita:1983:DBA,% Tomita:1984:EDB% }. \NAMECITE{equivalences}{% deNicola:1984:TEP% }. \NAMECITE{equivalent}{% Chazelle:1983:UHE,% Ehrenfeucht:1980:ETE% }. \NAMECITE{{Erd{{o}}s}}{% Berenguer:1982:SSE% }. \NAMECITE{Ergodic}{% Kurka:1982:EL% }. \NAMECITE{error}{% Daley:1983:ECP% }. \NAMECITE{errors}{% Gogolla:1984:AOS% }. \NAMECITE{Evaluation}{% Monier:1980:ECT,% Staples:1980:OEG% }. \NAMECITE{event}{% Nielsen:1980:PNE% }. \NAMECITE{Every}{% Ehrenfeucht:1980:ETE,% Nemeti:1982:EFA% }. \NAMECITE{exact}{% Karpinski:1982:DSM% }. \NAMECITE{example}{% Potts:1984:REJ% }. \NAMECITE{exceptions}{% Gogolla:1984:AOS% }. \NAMECITE{exclusion}{% Cohen:1984:SES% }. \NAMECITE{executability}{% Hunt:1983:CMR% }. \NAMECITE{existence}{% Carter:1981:NEC,% Stratman:1981:ECT% }. \NAMECITE{expansions}{% Bruce:1984:CAT% }. \NAMECITE{expensive}{% Schnitger:1982:FGE% }. \NAMECITE{explicit}{% Bougaut:1980:EAP% }. \NAMECITE{exponentially}{% Valiant:1980:NCE% }. \NAMECITE{express}{% Paredaens:1982:UFE% }. \NAMECITE{Expressing}{% Meyer:1982:EPL% }. \NAMECITE{expression}{% Karpinski:1982:DSM% }. \NAMECITE{expressions}{% Astesiano:1984:PCL,% Ibarra:1982:CSA,% Ito:1984:MPD,% Sato:1983:TSE,% Staples:1980:CGL,% Staples:1980:OEG% }. \NAMECITE{Expressive}{% Fehr:1984:EPT,% Stolboushkin:1983:CEP% }. \NAMECITE{expressiveness}{% Olderog:1983:NER% }. \NAMECITE{extended}{% RonchiDellaRocca:1984:PTS,% Tomita:1984:EDB% }. \NAMECITE{extensional}{% Wadge:1980:ETD% }. \NAMECITE{factor}{% Parisi-Presicce:1984:IFA% }. \NAMECITE{Factoring}{% Lenstra:1984:FMI,% Finn:1983:PTF% }. \NAMECITE{fail}{% Bergstra:1982:SNS% }. \NAMECITE{'fair}{% Boussinot:1982:PDS,% Apt:1984:FTR,% Maon:1984:TSC% }. \NAMECITE{fairness}{% Lassez:1984:CFS% }. \NAMECITE{faithful}{% Clerbout:1984:PCF% }. \NAMECITE{families}{% Ginsburg:1983:CFD,% Itzhaik:1984:NFN,% King:1980:ITF,% Welzl:1982:CFD% }. \NAMECITE{family}{% Culik:1983:FLR,% Schnitger:1982:FGE% }. \NAMECITE{Fast}{% Dobkin:1983:FDP,% Heintz:1983:DFQ,% Reischuk:1982:FIM% }. \NAMECITE{{Fibonacci}}{% Fraenkel:1984:WGC% }. \NAMECITE{fields}{% Heintz:1983:DFQ,% Lempel:1983:CMF% }. \NAMECITE{Finite}{% Head:1982:FDL,% Otto:1984:FCR,% Alaiwan:1984:EIB,% Beynon:1980:SFF,% Brzozowski:1980:ERL,% Bucher:1981:CDF,% Bucher:1984:CFC,% Chan:1983:FVP,% Duris:1983:OWS,% Inoue:1983:RBT,% Lempel:1983:CMF,% Margolis:1982:STS,% McAloon:1984:PNL,% Miyano:1984:AFA,% Straubing:1981:GSP,% Therien:1981:CFM% }. \NAMECITE{finite-valuedness}{% Chan:1983:FVP% }. \NAMECITE{finitely}{% Karhumaki:1984:ECC% }. \NAMECITE{Firing}{% Nishitani:1981:FSS,% Szwerinski:1982:TOS% }. \NAMECITE{firing-squad-synchronization-problem}{% Szwerinski:1982:TOS% }. \NAMECITE{first}{% Kfoury:1983:DPF,% Kobayashi:1984:COR,% Stolboushkin:1983:CEP,% Volger:1983:TML% }. \NAMECITE{first-order}{% Kfoury:1983:DPF,% Kobayashi:1984:COR,% Stolboushkin:1983:CEP% }. \NAMECITE{fixed}{% Biskup:1980:IMD,% Galil:1981:LTS,% Istrail:1982:GGR,% Nguyen:1981:DPL,% Tiuryn:1980:UFP% }. \NAMECITE{fixed-point}{% Istrail:1982:GGR% }. \NAMECITE{Flow}{% Schmidt:1981:PPGa,% Araki:1981:RFL,% Galil:1981:TEV,% Goldschlager:1982:MFP% }. \NAMECITE{flowchart}{% Gallier:1981:NFPa,% Gallier:1981:NFPb% }. \NAMECITE{flows}{% Gelenbe:1983:SDF% }. \NAMECITE{{Floyd}}{% Bergstra:1982:FPC% }. \NAMECITE{Fooling}{% Duris:1982:FTW% }. \NAMECITE{form}{% Gallier:1981:DAN,% Ginsburg:1983:CFD,% Hagauer:1982:FED,% Jantzen:1984:HIS,% Kelemenova:1984:CNF,% Niemi:1984:UFE% }. \NAMECITE{form-equivalence}{% Hagauer:1982:FED% }. \NAMECITE{formal}{% Berstel:1982:RFP,% Bozapalidis:1983:RFT,% Heilbrunner:1983:MUP,% Jacob:1984:FPS% }. \NAMECITE{formalism}{% Paredaens:1982:UFE% }. \NAMECITE{forms}{% Ainhirn:1982:MID,% Blattner:1982:PRG,% Hagauer:1982:FED,% Maurer:1980:SEF,% Niemi:1984:UFE,% Rozenberg:1981:PTI,% Rozenberg:1983:SLPa,% Rozenberg:1984:SPE% }. \NAMECITE{formulas}{% Denenberg:1984:CSP,% Kobayashi:1984:COR% }. \NAMECITE{foundation}{% Jankowski:1983:LFA% }. \NAMECITE{Foundations}{% Anonymous:1984:SCF% }. \NAMECITE{fractions}{% Fraenkel:1984:WGC% }. \NAMECITE{fragment}{% Bergstra:1982:EIQ,% Ketonen:1984:DFP% }. \NAMECITE{Free}{% Main:1981:FUR,% Avenhaus:1984:CIC,% Avenhaus:1984:NRP,% Beynon:1980:SFF,% Blum:1983:MPC,% Brandenburg:1983:UGP,% Bucher:1983:IDW,% Bucher:1984:CFC,% Culik:1982:DFM,% Ehrenfeucht:1981:SCS,% Ehrenfeucht:1983:RCF,% Ekkonen:1982:SPE,% Fehr:1984:EPT,% Goldstine:1982:PAC,% Hotz:1980:NIC,% Huynh:1984:DIC,% Karhumaki:1984:ECC,% Kleijn:1981:CFR,% Nemeti:1982:EFA,% Niemi:1984:UFE,% Wedde:1983:ISF% }. \NAMECITE{full}{% Jaffe:1980:EST% }. \NAMECITE{function}{% Blum:1984:BFR% }. \NAMECITE{functional}{% Ginsburg:1983:CFD,% Nambiar:1983:RFD,% Paredaens:1982:UFE,% Sadri:1982:TFT% }. \NAMECITE{functionals}{% Carter:1981:NEC,% Gordon:1983:CRF% }. \NAMECITE{functions}{% Eisman:1984:RGF,% Fachini:1984:HPR,% Freund:1983:RFN,% Hartmann:1980:MCS,% Ko:1982:CCR,% Nakamura:1983:PFT,% Schnorr:1980:LBN,% Snir:1982:CBL,% Tao:1981:CPA,% Uchimura:1982:PSG,% Wegener:1982:BFW% }. \NAMECITE{Fundamental}{% Courcelle:1983:FPI,% Goguen:1984:SFAa,% Goguen:1984:SFAb% }. \NAMECITE{{G}}{% Shepherdson:1982:GTC% }. \NAMECITE{{G}-schemes}{% Shepherdson:1982:GTC% }. \NAMECITE{{Galois}}{% Engeler:1981:GGT,% Gati:1981:SEG% }. \NAMECITE{game}{% MeyerAufDerHeide:1981:CTV,% Ravikumar:1984:CKP% }. \NAMECITE{games}{% Fraenkel:1984:WGC,% Sethi:1982:PGS% }. \NAMECITE{General}{% Moran:1981:GAA,% Csirmaz:1981:PPV,% Edelsbrunner:1981:SOS,% Szwerinski:1982:TOS,% Vishkin:1984:PDD,% Wedde:1983:ISF% }. \NAMECITE{general-purpose}{% Vishkin:1984:PDD% }. \NAMECITE{Generalization}{% Istrail:1982:GGR,% Straubing:1981:GSP% }. \NAMECITE{Generalized}{% Engeler:1981:GGT,% Yamasaki:1984:GPL,% Ben-Ari:1980:CTT,% Ehrenfeucht:1982:GPC,% Lam:1981:GCS,% Leiss:1981:GLE% }. \NAMECITE{generated}{% Karhumaki:1984:ECC,% Margolis:1982:STS,% Nemeti:1982:EFA% }. \NAMECITE{generating}{% Uchimura:1982:PSG% }. \NAMECITE{generation}{% Zaks:1980:LGO% }. \NAMECITE{generators}{% Schoning:1984:SG% }. \NAMECITE{geometric}{% Meshulam:1984:GCS% }. \NAMECITE{{Ginsburg}}{% Istrail:1982:GGR% }. \NAMECITE{{Ginsburg-Rice}}{% Istrail:1982:GGR% }. \NAMECITE{given}{% Kamimura:1984:EGS% }. \NAMECITE{global}{% Olderog:1984:CPP% }. \NAMECITE{Godel}{% Hartmanis:1982:NNC,% Hartmanis:1983:GSS% }. \NAMECITE{grammar}{% Blattner:1982:PRG,% Goldstine:1982:PAC,% Hagauer:1982:FED,% Kurka:1980:APC,% Maluszynski:1984:TPL,% Pittl:1983:CRD% }. \NAMECITE{grammar-which}{% Goldstine:1982:PAC% }. \NAMECITE{grammars}{% Blattner:1982:PRG,% Blum:1983:MPC,% Courcelle:1982:AGRa,% Courcelle:1982:AGRb,% Ehrenfeucht:1984:RNG,% Ekkonen:1982:SPE,% Heilbrunner:1983:MUP,% Huynh:1984:DIC,% Janssens:1982:GGN,% Kelemenova:1984:CNF,% Padawitz:1982:GGO,% Pittle:1981:LKG,% Tomita:1983:DBA,% Uchimura:1984:TIM% }. \NAMECITE{grammatical}{% Bucher:1981:NPT% }. \NAMECITE{Graph}{% Harary:1980:GTM,% Janssens:1982:GGN,% Padawitz:1982:GGO,% Shepherdson:1982:GTC,% Benzaken:1981:CGE,% Ehrenfeucht:1984:RNG,% Ehrig:1980:PCG,% Marchetti-Spaccamela:1983:LTR,% Nakamura:1983:RBG,% Raoult:1984:GR,% Staples:1980:CGL,% Staples:1980:OEG% }. \NAMECITE{graph-like}{% Staples:1980:CGL,% Staples:1980:OEG% }. \NAMECITE{graphs}{% Bagchi:1983:AHS,% Fellner:1982:MG,% Kucera:1980:CDT,% MeyerAufDerHeide:1981:CTV,% Nambiar:1983:RFD,% Nishitani:1981:FSS,% Schmidt:1981:PPGa,% Schmidt:1981:PPGb,% Schnitger:1982:FGE,% Syslo:1982:SIP,% VenturiniZilli:1984:RGL,% deBruijn:1984:SMD% }. \NAMECITE{{Greendlinger}}{% Otto:1984:FCR% }. \NAMECITE{group}{% Book:1982:WMG,% Cori:1982:CMP,% Otto:1984:FCR% }. \NAMECITE{groups}{% Avenhaus:1984:CIC,% Avenhaus:1984:NRP,% Bougaut:1980:EAP,% Perrin:1984:ORM% }. \NAMECITE{growing}{% Brandenburg:1983:UGP% }. \NAMECITE{growth}{% Eisman:1984:RGF% }. \NAMECITE{guarded}{% deSimone:1984:MSI% }. \NAMECITE{hard}{% vonzurGathen:1980:SPH,% Gurari:1982:SSU,% Plaisted:1984:NNH% }. \NAMECITE{hardware}{% Chazelle:1983:UHE% }. \NAMECITE{heads}{% Paul:1984:HVT,% Vitanyi:1984:SMS% }. \NAMECITE{height}{% Braquelaire:1984:STS,% Thomas:1981:RSH% }. \NAMECITE{help}{% Snir:1982:CBL% }. \NAMECITE{heuristic}{% Bagchi:1983:AHS% }. \NAMECITE{heuristics}{% Lieberherr:1980:POH% }. \NAMECITE{Hierarchies}{% Fachini:1984:HPR,% Damm:1982:IOH% }. \NAMECITE{hierarchy}{% Angluin:1980:CPP,% Etzion:1983:SNT,% Leggett:1981:OPP,% Zak:1983:TMT% }. \NAMECITE{high}{% Genrich:1980:SMH% }. \NAMECITE{high-level}{% Genrich:1980:SMH% }. \NAMECITE{history}{% Francez:1984:LHS% }. \NAMECITE{{Hoare}}{% Bergstra:1982:SNS,% Bergstra:1983:HLP,% Bergstra:1984:HLP,% Bergstra:1984:PPI% }. \NAMECITE{{Hoare}-like}{% Bergstra:1982:SNS% }. \NAMECITE{Hoares}{% Apt:1984:TYH% }. \NAMECITE{homeomorphism}{% Fortune:1980:DSH% }. \NAMECITE{Homomorphic}{% Jantzen:1984:HIS,% Albert:1981:LHR% }. \NAMECITE{homorphisms}{% Brandenburg:1983:UGP% }. \NAMECITE{hypergraphs}{% Maier:1984:CAH% }. \NAMECITE{identification}{% Case:1983:CIC% }. \NAMECITE{{II}}{% Andreka:1982:CLRb,% Apt:1984:TYH,% Courcelle:1982:AGRb,% Gallier:1981:NFPb,% Goguen:1984:SFAb,% Havel:1980:BLI,% Rozenberg:1983:SLPb,% Schmidt:1981:PPGb,% Stratman:1981:ECT% }. \NAMECITE{images}{% Jantzen:1984:HIS% }. \NAMECITE{implementability}{% Callegarin:1981:AIP% }. \NAMECITE{implementation}{% Ehrig:1982:AIA,% Ehrig:1983:CPP,% Lynch:1980:DBI,% Reischuk:1982:FIM,% Vishkin:1984:PDD% }. \NAMECITE{implementations}{% Wand:1982:SMI% }. \NAMECITE{implicit}{% Frederickson:1984:RRO% }. \NAMECITE{Inclusion}{% Atzeni:1982:IEB,% Bergstra:1984:PPI,% Kinber:1983:IPS% }. \NAMECITE{independence}{% Grant:1980:SMI% }. \NAMECITE{indexed}{% Duske:1984:LIL% }. \NAMECITE{Indexings}{% Kozen:1980:ISC% }. \NAMECITE{induced}{% Parisi-Presicce:1984:IFA% }. \NAMECITE{induction}{% Boudol:1983:RIP% }. \NAMECITE{inductive}{% Case:1983:CIC,% Daley:1983:ECP,% Wiehagen:1984:PPS% }. \NAMECITE{inequivalence}{% Huynh:1984:DIC% }. \NAMECITE{inference}{% Case:1983:CIC,% Chin:1984:EIC,% Daley:1983:ECP,% Wiehagen:1984:PPS% }. \NAMECITE{Inferences}{% Biskup:1980:IMD% }. \NAMECITE{Infinitary}{% DeSimone:1984:IMP% }. \NAMECITE{Infinite}{% Kuich:1983:ILS,% ODunlaing:1983:IRT,% Siromoney:1983:IAI,% Siromoney:1984:IAC,% Valk:1983:IBP,% Alaiwan:1984:EIB,% Arnold:1980:MII,% Courcelle:1983:FPI,% Culik:1982:IWO,% Jacob:1984:FPS,% Uchimura:1984:TIM,% Wasilkowski:1983:IPE,% Wiedmer:1980:CIO,% deBakker:1983:ICD,% deSimone:1984:MSI% }. \NAMECITE{infinitely}{% Netto:1980:TIM% }. \NAMECITE{information}{% Orlowska:1984:RNI,% Wasilkowski:1983:IPE% }. \NAMECITE{Inherent}{% Burkhard:1981:ICT% }. \NAMECITE{inherently}{% Ehrenfeucht:1984:IAE% }. \NAMECITE{initial}{% Gordon:1983:CRF,% Mahr:1984:CSL% }. \NAMECITE{injective}{% Hall:1984:BCI% }. \NAMECITE{integer}{% Ibarra:1983:CPI,% Plaisted:1984:NNH% }. \NAMECITE{integers}{% Kirkpatrick:1984:UBS% }. \NAMECITE{integral}{% Lenstra:1984:FMI% }. \NAMECITE{interaction}{% Wedde:1983:ISF% }. \NAMECITE{interference}{% Tennent:1983:SIC% }. \NAMECITE{interpolation}{% Prodinger:1980:IDS% }. \NAMECITE{interpretations}{% Ainhirn:1982:MID,% Arnold:1980:MII,% Rozenberg:1981:PTI% }. \NAMECITE{intersection}{% Avenhaus:1984:CIC,% Dobkin:1983:FDP% }. \NAMECITE{invariant}{% Hotz:1980:NIC,% Jensen:1981:CPN,% Rozenberg:1981:PTI% }. \NAMECITE{invariant-method}{% Jensen:1981:CPN% }. \NAMECITE{inverse}{% Hall:1984:BCI% }. \NAMECITE{{IO}}{% Damm:1982:IOH% }. \NAMECITE{{IO}-}{% Damm:1982:IOH% }. \NAMECITE{isomorphism}{% Syslo:1982:SIP% }. \NAMECITE{iterating}{% Culik:1982:IWO% }. \NAMECITE{Iteration}{% King:1980:ITF,% Beatty:1980:TIT,% Bergstra:1982:EIQ,% Wasilkowski:1983:IPE,% Nijholt:1983:SLI% }. \NAMECITE{Iterative}{% Culik:1984:ITA,% Nelson:1983:IA,% Parisi-Presicce:1984:IFA,% Wedde:1983:ISF% }. \NAMECITE{Jantzen}{% Potts:1984:REJ,% Otto:1984:FCR% }. \NAMECITE{join}{% Dybjer:1984:SRD% }. \NAMECITE{known}{% Ravikumar:1984:CKP% }. \NAMECITE{Krom}{% Denenberg:1984:CSP% }. \NAMECITE{{L}}{% Culik:1983:FLR,% Grefenstette:1983:SS,% Maurer:1983:CNS,% Nakamura:1983:RBG% }. \NAMECITE{{L}-systems}{% Nakamura:1983:RBG% }. \NAMECITE{label}{% Astesiano:1984:PCL% }. \NAMECITE{labelings}{% Perl:1982:CEL% }. \NAMECITE{lambda}{% Astesiano:1984:DSN,% Coppo:1984:CTA,% Stratman:1981:ECT,% VenturiniZilli:1984:RGL% }. \NAMECITE{language}{% Bucher:1983:IDW,% Damm:1982:IOH,% Ehrenfeucht:1982:RTU,% Hartmanis:1983:GSS,% Leiss:1981:GLE,% Maluszynski:1984:TPL,% Margolis:1982:STS,% Megiddo:1982:BEA,% Steinby:1983:STS,% Stoy:1981:CTP,% Therien:1981:CFM,% deLuca:1983:CL% }. \NAMECITE{Languages}{% Albert:1981:LHR,% Araki:1981:RFL,% Arnold:1983:ROL,% Autebert:1984:RPL,% Beatty:1980:TIT,% Bergstra:1984:HLP,% Brzozowski:1980:ERL,% Bucher:1981:CDF,% Bucher:1984:CFC,% Culik:1983:FLR,% DeSimone:1984:IMP,% Delest:1984:ALP,% Duske:1984:LIL,% Ehrenfeucht:1981:SCS,% Ehrenfeucht:1983:RCF,% Ehrenfeucht:1984:IAE,% Ehrig:1984:PPA,% Eisman:1983:DEL,% Eisman:1984:RGF,% Fehr:1984:EPT,% Francez:1984:LHS,% Girault-Beauquier:1984:BRL,% Head:1982:FDL,% Head:1984:ADL,% Heilbrunner:1983:MUP,% Hotz:1980:NIC,% Ibarra:1982:MLR,% Ibarra:1983:SPL,% Istrail:1982:GGR,% Jantzen:1984:HIS,% Joshi:1980:LCP,% King:1980:ITF,% Kobayashi:1984:COR,% Kuich:1983:ILS,% Kurka:1982:EL,% Leiss:1981:SRR,% Mahr:1984:CSL,% Maon:1984:TSC,% Nakamura:1983:RBG,% Pair:1982:ADT,% Pittle:1981:LKG,% Rozenberg:1983:SLPa,% Rozenberg:1983:SLPb,% Staiger:1984:PLO,% Takahashi:1983:NOR,% Tang:1983:LRL,% Yamasaki:1984:GPL,% deBakker:1984:LTB% }. \NAMECITE{large}{% McAloon:1984:PNL% }. \NAMECITE{largest}{% Marchetti-Spaccamela:1983:LTR,% Smyth:1983:LCC% }. \NAMECITE{lattice}{% Homer:1983:ODP% }. \NAMECITE{least}{% Nguyen:1981:DPL,% Tiuryn:1980:UFP% }. \NAMECITE{lemma}{% Latteux:1981:CLS% }. \NAMECITE{lemmas}{% Staiger:1984:PLO% }. \NAMECITE{length}{% Netto:1980:TIM% }. \NAMECITE{less}{% Monien:1982:ENT% }. \NAMECITE{letter}{% Huynh:1984:DIC% }. \NAMECITE{letters}{% Maon:1984:TSC% }. \NAMECITE{level}{% Genrich:1980:SMH,% Maluszynski:1984:TPL% }. \NAMECITE{Lexicographic}{% Zaks:1980:LGO% }. \NAMECITE{lies}{% Ravikumar:1984:CKP% }. \NAMECITE{like}{% Bergstra:1982:SNS,% Nesetril:1984:SNR,% Staples:1980:CGL,% Staples:1980:OEG,% Olderog:1984:CPP% }. \NAMECITE{limited}{% Germano:1981:SRC,% Munro:1980:SSL,% Tang:1983:LRL% }. \NAMECITE{line}{% Apostolico:1983:OLD,% Toda:1983:TDP,% Watanabe:1983:TPT% }. \NAMECITE{Linear}{% Duske:1984:LIL,% Galil:1981:LTS,% deBakker:1984:LTB,% Dobkin:1980:CLP,% Francez:1984:LHS,% Jacob:1984:FPS,% Kuich:1983:ILS,% Nambiar:1983:RFD,% Snir:1982:CBL,% Traub:1984:ACO,% Uchimura:1982:PSG,% Volger:1983:TML,% Wasilkowski:1983:IPE,% Yao:1982:TST% }. \NAMECITE{linear-history}{% Francez:1984:LHS% }. \NAMECITE{Linear-time}{% Galil:1981:LTS% }. \NAMECITE{lists}{% Ehrenfeucht:1982:GPC% }. \NAMECITE{little}{% Ainhirn:1982:MID% }. \NAMECITE{{LL}}{% Beatty:1980:TIT,% Nijholt:1983:SLI,% Tomita:1983:DBA% }. \NAMECITE{{LL-iteration}}{% Nijholt:1983:SLI% }. \NAMECITE{{LLP}}{% Pittle:1981:LKG% }. \NAMECITE{{LLR}}{% Heilbrunner:1983:MUP% }. \NAMECITE{Local}{% Joshi:1980:LCP,% Galil:1981:LTS% }. \NAMECITE{location}{% Edelsbrunner:1981:SOS% }. \NAMECITE{locations}{% Galil:1981:LTS% }. \NAMECITE{log}{% Goldschlager:1982:MFP% }. \NAMECITE{logarithm}{% Monien:1982:ENT% }. \NAMECITE{Logic}{% Berman:1981:PDL,% Andreka:1982:CLRa,% Andreka:1982:CLRb,% Apt:1984:TYH,% Bergstra:1982:EIQ,% Bergstra:1982:SNS,% Bergstra:1983:HLP,% Bergstra:1984:HLP,% Bergstra:1984:PPI,% Halpern:1983:PDL,% Harel:1980:PCR,% Hindley:1984:CDT,% Lassez:1984:CFS,% Meyer:1982:EPL,% Mezghiche:1984:NRC,% Sato:1984:ESP% }. \NAMECITE{Logical}{% Jankowski:1983:LFA,% Berman:1980:CLT,% Takasu:1981:LBP% }. \NAMECITE{logics}{% Chlebus:1982:CCS,% Emerson:1983:AST,% Stolboushkin:1983:CEP% }. \NAMECITE{looping}{% Havel:1980:BL,% Havel:1980:BLI,% Meyer:1982:EPL% }. \NAMECITE{Lower}{% Heintz:1980:LBP,% Frederickson:1984:RRO,% Schnorr:1980:LBN% }. \NAMECITE{{LR}}{% Heilbrunner:1981:PAA% }. \NAMECITE{{LRR}}{% Heilbrunner:1983:MUP% }. \NAMECITE{machine}{% Case:1983:CIC,% Gill:1980:DST,% Simon:1981:TBP,% Zak:1983:TMT% }. \NAMECITE{machines}{% Beynon:1980:SFF,% Book:1981:BQMa,% Book:1981:BQMb,% Chan:1983:FVP,% Chazelle:1983:UHE,% Duris:1982:FTW,% Freund:1983:RFN,% Germano:1981:SRC,% Ibarra:1983:SDQ,% Ibarra:1983:SPL,% Inoue:1983:RBT,% Inoue:1983:TDA,% Kirkpatrick:1984:UBS,% Loui:1981:SBO,% Loui:1982:SAM,% Miyano:1982:TWD,% Monien:1982:ENT,% Oyamaguchi:1984:SRS,% Stoklosa:1981:CM,% Volger:1983:TML,% Watanabe:1983:TPT,% deBruijn:1984:SMD% }. \NAMECITE{manipulations}{% Ehrig:1980:PCG% }. \NAMECITE{many}{% Long:1981:RVP,% Netto:1980:TIM,% Vitanyi:1984:SMS% }. \NAMECITE{many-one}{% Long:1981:RVP% }. \NAMECITE{mappings}{% Ibarra:1982:MLR% }. \NAMECITE{maps}{% Cori:1982:CMP,% Maruoka:1983:OMT% }. \NAMECITE{Marvellous}{% Ainhirn:1982:MID% }. \NAMECITE{matching}{% Galil:1981:LTS,% Toda:1983:TDP% }. \NAMECITE{mathematical}{% Hennessy:1980:MSN% }. \NAMECITE{matrices}{% Uchimura:1984:TIM% }. \NAMECITE{matrix}{% Ben-Ari:1980:CTT,% Karpinski:1982:DSM,% Lotti:1983:ACR,% Pan:1984:TTA% }. \NAMECITE{maximum}{% Goldschlager:1982:MFP% }. \NAMECITE{measures}{% Saheb-Djahromi:1980:CMN% }. \NAMECITE{{MEIJE}}{% deSimone:1984:MSI% }. \NAMECITE{Membership}{% Ito:1983:MPE,% Ito:1984:MPD% }. \NAMECITE{merge}{% Boussinot:1982:PDS,% deBakker:1984:LTB% }. \NAMECITE{Merging}{% SchulteMonting:1981:MEE% }. \NAMECITE{metatheorem}{% Heilbrunner:1983:MUP% }. \NAMECITE{method}{% Jensen:1981:CPN,% Klaeren:1984:CMA,% Ben-Ari:1980:CTT% }. \NAMECITE{methodology}{% Takasu:1981:LBP% }. \NAMECITE{Metric}{% Arnold:1980:MII,% Weihrauch:1981:EMS% }. \NAMECITE{metrics}{% Parisi-Presicce:1984:IFA% }. \NAMECITE{Minimal}{% Boe:1980:MCS,% Schoning:1984:MPP,% Fellner:1982:MG,% Gordon:1983:CRF% }. \NAMECITE{minimization}{% Yamasaki:1984:GPL% }. \NAMECITE{minimizing}{% Gupta:1981:RAM% }. \NAMECITE{Mixed}{% Ershov:1982:MCP,% DeSimone:1984:IMP% }. \NAMECITE{mode}{% Dobkin:1980:DM% }. \NAMECITE{model}{% Andreka:1982:CLRa,% Andreka:1982:CLRb,% Fernandez:1984:DCC,% Ginsburg:1983:ODR,% Hehner:1983:MCM% }. \NAMECITE{Modeling}{% Maggiolo-Schettini:1980:MSC% }. \NAMECITE{modelling}{% Gelenbe:1983:SDF,% Genrich:1980:SMH% }. \NAMECITE{models}{% Broy:1984:SSM,% Coppo:1984:CTA,% Harary:1980:GTM,% Wand:1982:SMI% }. \NAMECITE{Monadic}{% Book:1982:MTS,% Hunt:1983:CMR,% Otto:1984:SUR% }. \NAMECITE{monoid}{% Book:1982:WMG,% Culik:1982:DFM,% Jantzen:1981:SMS,% Otto:1984:FCR,% Squier:1982:NRC% }. \NAMECITE{monoids}{% Hall:1984:BCI,% Karhumaki:1984:ECC,% Perrin:1984:ORM,% Straubing:1981:GSP,% Therien:1981:CFM% }. \NAMECITE{monotone}{% Wegener:1982:BFW% }. \NAMECITE{morphism}{% Maon:1984:TSC% }. \NAMECITE{morphisms}{% Crochemore:1982:SCS,% Culik:1982:IWO% }. \NAMECITE{mu}{% Kozen:1983:RPM% }. \NAMECITE{mu-calculus}{% Kozen:1983:RPM% }. \NAMECITE{multi}{% Miyano:1982:TWD% }. \NAMECITE{multi-weak-counter}{% Miyano:1982:TWD% }. \NAMECITE{multidimensional}{% Loui:1981:SBO,% Loui:1982:SAM,% Reischuk:1982:FIM% }. \NAMECITE{multihead}{% Duris:1983:OWS% }. \NAMECITE{multiplication}{% Lempel:1983:CMF,% Lotti:1983:ACR,% Rosenthal:1981:OAS% }. \NAMECITE{Multiplicative}{% Hartmann:1980:MCS% }. \NAMECITE{multiprocessor}{% Dutton:1982:CMT% }. \NAMECITE{multitape}{% Kinber:1983:IPS% }. \NAMECITE{multivalued}{% Biskup:1980:IMD,% Ito:1983:MPE% }. \NAMECITE{multivariate}{% Lenstra:1984:FMI% }. \NAMECITE{mutual}{% Cohen:1984:SES% }. \NAMECITE{natural}{% Bergstra:1982:SNS,% Hartmanis:1982:NNC,% Vazirani:1983:NES% }. \NAMECITE{need}{% Lehmann:1982:END% }. \NAMECITE{Negation}{% Valiant:1980:NCE% }. \NAMECITE{neighbourhood}{% Janssens:1982:GGN% }. \NAMECITE{neighbourhood-controlled}{% Janssens:1982:GGN% }. \NAMECITE{Nest}{% Takahashi:1983:NSR% }. \NAMECITE{nesting}{% Hunt:1983:CMR% }. \NAMECITE{net}{% Araki:1981:RFL% }. \NAMECITE{Nets}{% Janicki:1984:NSC,% Borger:1980:RPP,% Etzion:1983:SNT,% Fernandez:1984:DCC,% Genrich:1980:SMH,% Jensen:1981:CPN,% McAloon:1984:PNL,% Nielsen:1980:PNE,% Rozenberg:1983:SLPa,% Rozenberg:1983:SLPb,% Valk:1983:IBP,% Yamasaki:1984:NPN% }. \NAMECITE{network}{% Blum:1984:BFR,% Galil:1981:TEV,% Schnorr:1980:LBN% }. \NAMECITE{networks}{% Boussinot:1982:PDS,% Brzozowski:1980:ERL,% Galbiati:1981:COB% }. \NAMECITE{{Nielsen}}{% Avenhaus:1984:NRP% }. \NAMECITE{{Nivat}}{% Istrail:1983:NPS% }. \NAMECITE{{NLC}}{% Ehrenfeucht:1984:RNG% }. \NAMECITE{Non}{% Paz:1981:NDP,% Arnold:1983:ROL,% Fernandez:1984:DCC,% Itzhaik:1984:NFN,% Otto:1984:SUR,% Yap:1983:SCN,% deSimone:1984:MSI% }. \NAMECITE{non-ambiguous}{% Arnold:1983:ROL% }. \NAMECITE{non-guarded}{% deSimone:1984:MSI% }. \NAMECITE{non-monadic}{% Otto:1984:SUR% }. \NAMECITE{non-sequential}{% Fernandez:1984:DCC% }. \NAMECITE{non-uniform}{% Yap:1983:SCN% }. \NAMECITE{nonalgebraic}{% Istrail:1982:SRN% }. \NAMECITE{Nondeterminism}{% Apt:1984:TYH,% Back:1983:CSU,% Monien:1982:ENT,% Saheb-Djahromi:1980:CMN% }. \NAMECITE{Nondeterministic}{% Gallier:1981:NFPa,% Gallier:1981:NFPb,% Arnold:1980:MII,% Astesiano:1984:DSN,% Harel:1981:TCN,% Hennessy:1980:MSN,% Long:1982:SNP,% Orlowska:1984:RNI% }. \NAMECITE{nonredundant}{% Cox:1984:CNA% }. \NAMECITE{nonsingular}{% Oyamaguchi:1984:SRS% }. \NAMECITE{nonstandard}{% Andreka:1982:CLRa,% Andreka:1982:CLRb,% Nesetril:1984:SNR% }. \NAMECITE{nonterminal}{% Rozenberg:1981:PTI% }. \NAMECITE{Normal}{% Yamasaki:1984:NPN,% Gallier:1981:DAN,% Ginsburg:1983:CFD,% Kelemenova:1984:CNF,% Rozenberg:1983:SLPa% }. \NAMECITE{note}{% Bucher:1981:NPT,% Carter:1981:NEC,% Hartmanis:1982:NNC,% Squier:1982:NRC,% Takahashi:1983:NOR% }. \NAMECITE{notion}{% Maluszynski:1984:TPL,% Olderog:1983:NER% }. \NAMECITE{{NP}}{% Ausiello:1980:TUA,% Book:1981:BQMa,% Book:1981:BQMb,% Gurari:1982:SSU,% Hartmanis:1984:CTN,% Homer:1983:ODP,% Kent:1982:ACN,% Landweber:1981:SSN,% Plaisted:1984:NNH,% Raiha:1981:SCS,% Selman:1982:RNP% }. \NAMECITE{{NP-complete}}{% Plaisted:1984:NNH,% Raiha:1981:SCS,% Ausiello:1980:TUA% }. \NAMECITE{{NP-hard}}{% Gurari:1982:SSU,% Plaisted:1984:NNH% }. \NAMECITE{{NPQUERY}}{% Book:1981:BQMb% }. \NAMECITE{null}{% Ekkonen:1982:SPE% }. \NAMECITE{number}{% Blum:1980:ANR,% Galil:1981:LTS,% Honkala:1984:BAN,% Leivant:1982:UTC,% Maurer:1983:CNS% }. \NAMECITE{numberings}{% Hartmanis:1982:NNC% }. \NAMECITE{numbers}{% Bougaut:1980:EAP,% Freund:1983:RFN,% Ko:1984:RRN% }. \NAMECITE{objects}{% Kamimura:1984:TOD,% Wiedmer:1980:CIO% }. \NAMECITE{obtain}{% Schoning:1982:UAO% }. \NAMECITE{obtained}{% Culik:1982:IWO% }. \NAMECITE{off}{% Apostolico:1983:OLD% }. \NAMECITE{off-line}{% Apostolico:1983:OLD% }. \NAMECITE{offs}{% Burkhard:1981:ICT% }. \NAMECITE{{OI}}{% Damm:1982:IOH% }. \NAMECITE{{OI-hierarchies}}{% Damm:1982:IOH% }. \NAMECITE{omega}{% Arnold:1983:ROL,% Cohen:1980:COT,% Kobayashi:1984:COR,% Miyano:1984:AFA,% Staiger:1984:PLO,% Takahashi:1983:NOR% }. \NAMECITE{omega-languages}{% Arnold:1983:ROL,% Staiger:1984:PLO% }. \NAMECITE{omega-regular}{% Kobayashi:1984:COR,% Takahashi:1983:NOR% }. \NAMECITE{omega-type}{% Cohen:1980:COT% }. \NAMECITE{omega-words}{% Miyano:1984:AFA% }. \NAMECITE{on-line}{% Toda:1983:TDP,% Watanabe:1983:TPT% }. \NAMECITE{One}{% Duris:1983:OWS,% Duris:1982:FTW,% Kuich:1983:ILS,% Long:1981:RVP,% Loui:1981:SBO,% Perrin:1984:ORM,% Vitanyi:1984:SMS% }. \NAMECITE{one-relator}{% Perrin:1984:ORM% }. \NAMECITE{one-tape}{% Loui:1981:SBO% }. \NAMECITE{One-way}{% Duris:1983:OWS% }. \NAMECITE{only}{% Galil:1981:LTS% }. \NAMECITE{Open}{% Maruoka:1983:OMT% }. \NAMECITE{operational}{% Gogolla:1984:AOS,% Padawitz:1982:GGO% }. \NAMECITE{operations}{% Blum:1980:ANR,% Jantzen:1981:PSO,% Pan:1984:TTA% }. \NAMECITE{operator}{% Boussinot:1982:PDS% }. \NAMECITE{operators}{% deSimone:1984:MSI% }. \NAMECITE{Optimal}{% Apostolico:1983:OLD,% Rosenthal:1981:OAS,% Staples:1980:OEG,% Edelsbrunner:1981:SOS,% Lieberherr:1980:POH,% Szwerinski:1982:TOS% }. \NAMECITE{optimality}{% Traub:1984:ACO% }. \NAMECITE{Optimization}{% Leggett:1981:OPP,% Ausiello:1980:TUA,% Paz:1981:NDP% }. \NAMECITE{Oracle}{% Homer:1983:ODP% }. \NAMECITE{Oracle-dependent}{% Homer:1983:ODP% }. \NAMECITE{Order}{% Ginsburg:1983:ODR,% Escrig:1984:CPO,% Goldfarb:1981:USO,% Kfoury:1983:DPF,% Kobayashi:1984:COR,% Stolboushkin:1983:CEP,% Volger:1983:TML% }. \NAMECITE{ordered}{% Zaks:1980:LGO% }. \NAMECITE{Orderings}{% Dershowitz:1982:OTR% }. \NAMECITE{orders}{% Frederickson:1984:RRO% }. \NAMECITE{ordinary}{% Ainhirn:1982:MID% }. \NAMECITE{other}{% Landweber:1981:SSN,% Paredaens:1982:UFE% }. \NAMECITE{outerplanar}{% Syslo:1982:SIP% }. \NAMECITE{output}{% Galbiati:1981:COB% }. \NAMECITE{{P}}{% Avenhaus:1984:NRP,% Goldschlager:1982:MFP,% Lieberherr:1980:POH,% Schoning:1984:MPP,% Selman:1982:RNP% }. \NAMECITE{{P}-complete}{% Avenhaus:1984:NRP% }. \NAMECITE{{P}-optimal}{% Lieberherr:1980:POH% }. \NAMECITE{{P}-selective}{% Selman:1982:RNP% }. \NAMECITE{pairs}{% Schoning:1984:MPP% }. \NAMECITE{parallel}{% Rajlich:1983:DPS,% Soundararajan:1984:PTP,% Vishkin:1984:PDD,% deBakker:1984:LTB% }. \NAMECITE{parallel-design}{% Vishkin:1984:PDD% }. \NAMECITE{Parallelism}{% Ehrig:1980:PCG% }. \NAMECITE{Parameter}{% Ehrig:1984:PPA,% Ehrig:1983:CPP% }. \NAMECITE{parameterized}{% Ehrig:1983:CPP% }. \NAMECITE{Parametric}{% Astesiano:1984:PCL% }. \NAMECITE{parenthesis}{% Autebert:1984:RPL,% Yamasaki:1984:GPL% }. \NAMECITE{parsing}{% Heilbrunner:1981:PAA% }. \NAMECITE{Partial}{% Clerbout:1984:PCF,% Bauer:1983:CPD,% Schmidt:1981:PPGa,% Schmidt:1981:PPGb% }. \NAMECITE{parts}{% Yamasaki:1984:GPL% }. \NAMECITE{{PASCAL}}{% Olderog:1984:CPP% }. \NAMECITE{{PASCAL-like}}{% Olderog:1984:CPP% }. \NAMECITE{passing}{% Ehrig:1983:CPP,% Ehrig:1984:PPA% }. \NAMECITE{path}{% Best:1982:APP% }. \NAMECITE{Pattern}{% Maruoka:1981:PDT,% Toda:1983:TDP% }. \NAMECITE{patterns}{% Ravikumar:1984:CKP,% Sato:1984:ESP% }. \NAMECITE{{PDDI}}{% Vishkin:1984:PDD% }. \NAMECITE{{PDL}}{% Kozen:1981:EPC% }. \NAMECITE{{Peano}}{% Bergstra:1983:HLP,% Csirmaz:1982:DPE% }. \NAMECITE{Pebble}{% Sethi:1982:PGS,% MeyerAufDerHeide:1981:CTV% }. \NAMECITE{performance}{% Gelenbe:1983:SDF% }. \NAMECITE{periodicity}{% Head:1983:DSP% }. \NAMECITE{permuters}{% Ramanan:1983:CSC,% Shyamasundar:1982:CPP% }. \NAMECITE{{Petri}}{% Araki:1981:RFL,% Borger:1980:RPP,% Genrich:1980:SMH,% Jensen:1981:CPN,% McAloon:1984:PNL,% Nielsen:1980:PNE,% Rozenberg:1983:SLPa,% Rozenberg:1983:SLPb,% Valk:1983:IBP,% Yamasaki:1984:NPN% }. \NAMECITE{{PGCD}}{% Bougaut:1980:EAP% }. \NAMECITE{picture}{% Nakamura:1983:RBG% }. \NAMECITE{Pictures}{% Nakamura:1983:PFT% }. \NAMECITE{{Plotkin}}{% Escrig:1984:CPO% }. \NAMECITE{pluralism}{% Daley:1983:ECP% }. \NAMECITE{point}{% Istrail:1982:GGR% }. \NAMECITE{points}{% Nguyen:1981:DPL,% Tiuryn:1980:UFP% }. \NAMECITE{polyhedral}{% Dobkin:1983:FDP% }. \NAMECITE{polynomial}{% Angluin:1980:CPP,% Leggett:1981:OPP,% Long:1981:RVP,% Long:1982:SNP,% Paz:1981:NDP,% Plaisted:1984:NNH,% Sudborough:1983:BCP,% Vazirani:1983:NES,% Wasilkowski:1983:IPE% }. \NAMECITE{polynomial-time}{% Angluin:1980:CPP,% Long:1982:SNP% }. \NAMECITE{polynomials}{% Heintz:1980:LBP,% Lenstra:1984:FMI,% Schnorr:1980:ACP,% vonzurGathen:1980:SPH% }. \NAMECITE{polyomino}{% Delest:1984:ALP% }. \NAMECITE{Position}{% Blattner:1982:PRG,% Szwerinski:1982:TOS% }. \NAMECITE{Position-restricted}{% Blattner:1982:PRG% }. \NAMECITE{possess}{% Bergstra:1982:SNS% }. \NAMECITE{Post}{% Ehrenfeucht:1982:GPC% }. \NAMECITE{potential}{% Ershov:1982:MCP% }. \NAMECITE{power}{% Berstel:1982:RFP,% Blum:1983:MPC,% Bozapalidis:1983:RFT,% Brandenburg:1983:UGP,% Callegarin:1981:AIP,% Daley:1983:ECP,% Fehr:1984:EPT,% Ibarra:1983:CPI,% Jacob:1984:FPS,% Jantzen:1981:PSO,% Stolboushkin:1983:CEP,% Tao:1981:CPA,% Wiehagen:1984:PPS% }. \NAMECITE{power-free}{% Brandenburg:1983:UGP% }. \NAMECITE{powerdomains}{% Escrig:1984:CPO% }. \NAMECITE{powerful}{% Valiant:1980:NCE% }. \NAMECITE{precision}{% Watanabe:1983:TPT% }. \NAMECITE{precondition}{% Elrad:1984:WPS% }. \NAMECITE{predicate}{% Ketonen:1984:DFP% }. \NAMECITE{prefix}{% Netto:1980:TIM% }. \NAMECITE{preperfectness}{% Narendran:1984:UPT% }. \NAMECITE{{Presburger}}{% Furer:1982:CPA,% Gurari:1981:CEP% }. \NAMECITE{prescribed}{% Cori:1982:CMP% }. \NAMECITE{presentations}{% Kamimura:1983:ARP% }. \NAMECITE{preserving}{% Ekkonen:1982:SPE% }. \NAMECITE{Primality}{% Finn:1983:PTF,% Monier:1980:ECT% }. \NAMECITE{primitive}{% Fachini:1984:HPR% }. \NAMECITE{primitives}{% Wedde:1983:ISF% }. \NAMECITE{Principal}{% RonchiDellaRocca:1984:PTS,% Bougaut:1980:EAP% }. \NAMECITE{principle}{% Bergstra:1982:FPC,% Boudol:1983:RIP% }. \NAMECITE{probabilistic}{% Gill:1980:DST,% Monier:1980:ECT,% Simon:1981:TBP,% Vazirani:1983:NES,% Watanabe:1983:TPT,% Wiehagen:1984:PPS% }. \NAMECITE{probability}{% Gacs:1983:RBD% }. \NAMECITE{Problem}{% Ehrenfeucht:1982:GPC,% Berenguer:1982:SSE,% Borger:1980:RPP,% Bucher:1981:NPT,% Chan:1983:FVP,% Cohen:1984:SES,% Denenberg:1984:CSP,% Dutton:1982:CMT,% Ehrenfeucht:1980:BDS,% Fortune:1980:DSH,% Gati:1981:SEG,% Goldfarb:1981:USO,% Goldschlager:1982:MFP,% Gurari:1981:CEP,% Ito:1983:MPE,% Karpinski:1982:DSM,% Kinber:1983:IPS,% Maggiolo-Schettini:1980:MSC,% Megiddo:1982:BEA,% Nguyen:1981:DPL,% Nishitani:1981:FSS,% Raiha:1981:SCS,% Syslo:1982:SIP,% Szwerinski:1982:TOS,% Thomas:1981:RSH,% Volger:1983:TML,% Watanabe:1983:TPT% }. \NAMECITE{problem-language}{% Megiddo:1982:BEA% }. \NAMECITE{problems}{% Angluin:1980:CPP,% Ausiello:1980:TUA,% Avenhaus:1984:CIC,% Avenhaus:1984:NRP,% Benzaken:1981:CGE,% Borger:1980:RPP,% Braquelaire:1984:STS,% Burkhard:1981:ICT,% Ershov:1982:MCP,% Fachini:1984:HPR,% Frederickson:1982:RBB,% Gallier:1981:DAN,% Gurari:1982:SSU,% Hunt:1983:CMR,% Ibarra:1982:MLR,% Istrail:1983:NPS,% Ito:1984:MPD,% Leggett:1981:OPP,% Moran:1981:GAA,% Oyamaguchi:1984:SRS,% Paz:1981:NDP,% Plaisted:1984:NNH,% Rosenthal:1981:OAS,% Stratman:1981:ECT,% Sudborough:1983:BCP,% Traub:1984:ACO,% Wedde:1983:ISF% }. \NAMECITE{procedures}{% Gallier:1981:NFPa,% Gallier:1981:NFPb,% Olderog:1984:CPP% }. \NAMECITE{processes}{% Austry:1984:APS,% Elrad:1984:WPS,% Fernandez:1984:DCC,% Hehner:1983:MCM,% Staples:1983:CBA,% deNicola:1984:TEP% }. \NAMECITE{processing}{% Boussinot:1982:PDS,% Istrail:1983:NPS% }. \NAMECITE{processor}{% Jaffe:1980:EST% }. \NAMECITE{product}{% DeSimone:1984:IMP,% Straubing:1981:GSP% }. \NAMECITE{production}{% Kurka:1980:APC% }. \NAMECITE{productions}{% Ekkonen:1982:SPE% }. \NAMECITE{products}{% Hodgson:1982:DPA% }. \NAMECITE{program}{% Bergstra:1982:FPC,% Bergstra:1984:PPI,% Courcelle:1982:AGRa,% Courcelle:1982:AGRb,% Csirmaz:1981:PPV,% Csirmaz:1982:DPE,% Katseff:1981:SRP,% Meyer:1982:EPL% }. \NAMECITE{programming}{% Bergstra:1984:HLP,% Dobkin:1980:CLP,% Fehr:1984:EPT,% Francez:1984:LHS,% Ibarra:1983:SPL,% Joshi:1980:LCP,% Lassez:1984:CFS,% Maluszynski:1984:TPL,% Pair:1982:ADT,% Stoy:1981:CTP,% Takasu:1981:LBP,% deBakker:1984:LTB,% deNicola:1984:TEP% }. \NAMECITE{Programs}{% Csirmaz:1981:PPV,% Schmidt:1981:PPGa,% Schmidt:1981:PPGb,% Andreka:1982:CLRa,% Andreka:1982:CLRb,% Arnold:1980:MII,% Bergstra:1982:SNS,% Best:1982:APP,% Chlebus:1982:CCS,% Gallier:1981:NFPa,% Gallier:1981:NFPb,% Gurari:1982:SSU,% Halpern:1983:PDL,% Harel:1980:PCR,% Harel:1981:TCN,% Kfoury:1983:DPF,% Olderog:1984:CPP,% Pnueli:1980:TSC,% Sato:1984:ESP,% Soundararajan:1983:CPC,% Soundararajan:1984:PTP% }. \NAMECITE{progress}{% Pan:1984:TTA% }. \NAMECITE{Projection}{% Staiger:1984:PLO% }. \NAMECITE{{PROLOG}}{% Sato:1984:ESP% }. \NAMECITE{proof}{% Kozen:1981:EPC,% Soundararajan:1984:PTP% }. \NAMECITE{proofs}{% Soundararajan:1983:CPC% }. \NAMECITE{propagating}{% Rozenberg:1984:SPE% }. \NAMECITE{Properties}{% Uchimura:1982:PSG,% Best:1982:APP,% Courcelle:1983:FPI,% Escrig:1984:CPO,% Heilbrunner:1983:MUP,% Homer:1983:ODP,% Rozenberg:1983:SLPb,% Schmidt:1983:APA,% Sifakis:1982:UAS,% Takahashi:1983:NSR,% deLuca:1980:SPV% }. \NAMECITE{property}{% Book:1981:TCR% }. \NAMECITE{Proposition}{% Boussinot:1982:PDS% }. \NAMECITE{Propositional}{% Berman:1981:PDL,% Chlebus:1982:CCS,% Halpern:1983:PDL,% Hindley:1984:CDT,% Kozen:1983:RPM% }. \NAMECITE{protection}{% Istrail:1983:NPS% }. \NAMECITE{proved}{% Vazirani:1983:NES% }. \NAMECITE{Proving}{% Bergstra:1984:PPI,% Harel:1980:PCR,% Ketonen:1984:DFP,% Thatcher:1981:MAS% }. \NAMECITE{{PSPACE}}{% Book:1981:BQMa% }. \NAMECITE{pure}{% Bucher:1983:IDW,% Hagauer:1982:FED,% Rozenberg:1981:PTI,% deLuca:1980:SPV% }. \NAMECITE{purpose}{% Vishkin:1984:PDD% }. \NAMECITE{pushdown}{% Duris:1982:FTW,% Goldstine:1982:PAC,% Ibarra:1983:SDQ,% Pittl:1983:CRD,% Ramanan:1983:CSC,% Shyamasundar:1982:CPP,% Tomita:1984:EDB% }. \NAMECITE{quantifier}{% Furer:1982:CPA,% Heintz:1983:DFQ% }. \NAMECITE{quantifiers}{% Bergstra:1982:EIQ% }. \NAMECITE{queries}{% Chin:1984:EIC,% Yao:1982:TST% }. \NAMECITE{query}{% Book:1981:BQMa,% Book:1981:BQMb,% Burkhard:1981:ICT% }. \NAMECITE{questions}{% Ibarra:1983:SDQ,% ODunglaing:1983:UQR% }. \NAMECITE{{Ramsey}}{% Nesetril:1984:SNR% }. \NAMECITE{random}{% Kirkpatrick:1984:UBS,% Marchetti-Spaccamela:1983:LTR% }. \NAMECITE{range}{% Burkhard:1981:ICT,% Chin:1984:EIC% }. \NAMECITE{rank}{% Bozapalidis:1983:RFT,% Indermark:1982:RDC% }. \NAMECITE{ratio}{% Eisman:1984:RGF% }. \NAMECITE{Rational}{% Arnold:1983:ROL,% Clerbout:1984:PCF,% Hartmann:1980:MCS,% Indermark:1982:RDC% }. \NAMECITE{reachability}{% Borger:1980:RPP% }. \NAMECITE{Real}{% Freund:1983:RFN,% Itzhaik:1984:NFN,% Ko:1982:CCR,% Ko:1984:RRN% }. \NAMECITE{realtime}{% Pittl:1983:CRD% }. \NAMECITE{reasoning}{% Andreka:1982:CLRa,% Andreka:1982:CLRb% }. \NAMECITE{rebalancing}{% Blum:1980:ANR% }. \NAMECITE{recognisable}{% Girault-Beauquier:1984:BRL% }. \NAMECITE{recognition}{% Steinby:1983:STS% }. \NAMECITE{Recognizable}{% Berstel:1982:RFP% }. \NAMECITE{Record}{% Gupta:1981:RAM% }. \NAMECITE{rectangles}{% Szwerinski:1982:TOS% }. \NAMECITE{rectangular}{% Lotti:1983:ACR% }. \NAMECITE{Recursion}{% Boudol:1983:RIP,% Schmidt:1981:PPGb,% Hunt:1983:CMR,% deBakker:1984:LTB% }. \NAMECITE{recursive}{% Arnold:1980:MII,% Courcelle:1982:AGRa,% Courcelle:1982:AGRb,% Fachini:1984:HPR,% Gallier:1981:NFPa,% Gallier:1981:NFPb,% Gordon:1983:CRF,% Istrail:1982:GGR% }. \NAMECITE{recursive-enumerable}{% Istrail:1982:GGR% }. \NAMECITE{Recursively}{% Frederickson:1984:RRO% }. \NAMECITE{recursiveness}{% Germano:1981:SRC% }. \NAMECITE{Reducibilities}{% Ko:1984:RRN,% Long:1982:SNP% }. \NAMECITE{reducibility}{% Long:1981:RVP% }. \NAMECITE{Reduction}{% VenturiniZilli:1984:RGL,% Avenhaus:1984:NRP,% Ben-Ari:1980:CTT,% Mezghiche:1984:NRC,% Schnitger:1982:FGE% }. \NAMECITE{Reductions}{% Selman:1982:RNP% }. \NAMECITE{region}{% Edelsbrunner:1981:SOS% }. \NAMECITE{register}{% Germano:1981:SRC% }. \NAMECITE{regular}{% Braquelaire:1984:STS,% Brzozowski:1980:ERL,% Bucher:1983:IDW,% Ehrenfeucht:1980:ETE,% Harel:1980:PCR,% Karpinski:1982:DSM,% Kobayashi:1984:COR,% Leiss:1981:SRR,% Main:1981:FUR,% Meyer:1982:EPL,% ODunlaing:1983:IRT,% Takahashi:1983:NOR,% Tang:1983:LRL% }. \NAMECITE{regularity}{% Ehrenfeucht:1983:RCF% }. \NAMECITE{related}{% Ibarra:1982:MLR,% Istrail:1983:NPS,% Kucera:1980:CDT,% ODunglaing:1983:UQR,% Oyamaguchi:1984:SRS% }. \NAMECITE{relation}{% Gacs:1983:RBD,% Jantzen:1981:SMS% }. \NAMECITE{relational}{% Atzeni:1982:IEB,% Ginsburg:1983:ODR,% Ito:1984:MPD,% Nambiar:1983:RFD,% Paredaens:1982:UFE% }. \NAMECITE{Relations}{% Araki:1981:RFL,% Janicki:1984:NSC,% Kamimura:1983:ARP% }. \NAMECITE{relationship}{% Frederickson:1982:RBB,% Inoue:1983:RBT,% Megiddo:1982:BEA,% Nakamura:1983:RBG,% Rozenberg:1983:SLPa% }. \NAMECITE{relativized}{% Takahashi:1983:NSR% }. \NAMECITE{relator}{% Perrin:1984:ORM% }. \NAMECITE{Remark}{% Thomas:1981:RSH% }. \NAMECITE{Remarks}{% Autebert:1984:RPL,% Potts:1984:REJ,% Istrail:1982:SRN% }. \NAMECITE{repetitions}{% Apostolico:1983:OLD% }. \NAMECITE{replacement}{% Staples:1980:SSR% }. \NAMECITE{replacements}{% Albert:1981:LHR% }. \NAMECITE{representable}{% Nemeti:1982:EFA% }. \NAMECITE{Representation}{% Ehrenfeucht:1982:RTU,% Nambiar:1983:RFD,% Orlowska:1984:RNI,% Leiss:1981:SRR% }. \NAMECITE{representations}{% Hartmanis:1983:GSS,% Squier:1982:NRC,% Weihrauch:1983:ARE% }. \NAMECITE{requiring}{% Blum:1984:BFR% }. \NAMECITE{research}{% Bougaut:1980:EAP% }. \NAMECITE{resources}{% Jaffe:1980:EST% }. \NAMECITE{respect}{% Hindley:1983:CTR% }. \NAMECITE{restricted}{% Blattner:1982:PRG,% Ibarra:1983:SPL,% Ito:1983:MPE% }. \NAMECITE{restriction}{% Jankowski:1983:LFA% }. \NAMECITE{Restrictions}{% Ehrenfeucht:1984:RNG,% Kleijn:1981:CFR,% Maggiolo-Schettini:1980:MSC% }. \NAMECITE{resulting}{% Culik:1983:FLR% }. \NAMECITE{Results}{% Kozen:1983:RPM,% Dybjer:1984:SRD,% Grant:1980:SMI,% Itzhaik:1984:NFN,% Katseff:1981:SRP,% Otto:1984:SUR,% Oyamaguchi:1984:SRS% }. \NAMECITE{retrieval}{% Madhavan:1984:SAR% }. \NAMECITE{reversal}{% Hong:1984:TTS% }. \NAMECITE{reversed}{% Cox:1984:CNA% }. \NAMECITE{revisited}{% Apt:1984:FTR,% Boudol:1983:RIP% }. \NAMECITE{revisited-with}{% Apt:1984:FTR% }. \NAMECITE{rewrite}{% Kaplan:1984:CRR% }. \NAMECITE{rewriting}{% Dershowitz:1982:OTR,% Kleijn:1981:CFR,% Otto:1984:FCR% }. \NAMECITE{rewritings}{% Raoult:1984:GR% }. \NAMECITE{{Rice}}{% Istrail:1982:GGR% }. \NAMECITE{rings}{% Bougaut:1980:EAP% }. \NAMECITE{Rosser}{% ODunglaing:1983:UQR,% Otto:1984:SUR,% Book:1981:TCR,% Book:1982:WMG,% Book:1983:DSC% }. \NAMECITE{rotated}{% Frederickson:1984:RRO% }. \NAMECITE{rule}{% Olderog:1983:NER% }. \NAMECITE{rules}{% Blum:1983:MPC,% Hindley:1983:CTR,% Kaplan:1984:CRR% }. \NAMECITE{salesman}{% Frederickson:1982:RBB% }. \NAMECITE{satisfiability}{% Chlebus:1982:CCS,% Denenberg:1984:CSP% }. \NAMECITE{satisfying}{% Nijholt:1983:SLI% }. \NAMECITE{{SCCS}}{% deSimone:1984:MSI% }. \NAMECITE{scheduling}{% Jaffe:1980:EST% }. \NAMECITE{schemata}{% Atzeni:1982:IEB% }. \NAMECITE{scheme}{% Lam:1981:GCS,% Vazirani:1983:NES% }. \NAMECITE{schemes}{% Courcelle:1982:AGRa,% Courcelle:1982:AGRb,% Genrich:1984:TBS,% Head:1983:DSP,% Hunt:1983:CMR,% RonchiDellaRocca:1984:PTS,% Shepherdson:1982:GTC,% Shepherdson:1982:GTC% }. \NAMECITE{Schutzenberger}{% Straubing:1981:GSP,% Istrail:1982:GGR% }. \NAMECITE{{Science}}{% Anonymous:1984:SCF% }. \NAMECITE{search}{% Bagchi:1983:AHS,% Ravikumar:1984:CKP% }. \NAMECITE{searches}{% Fraenkel:1984:WGC% }. \NAMECITE{second}{% Goldfarb:1981:USO,% Anonymous:1984:SCF% }. \NAMECITE{second-order}{% Goldfarb:1981:USO% }. \NAMECITE{Secondary}{% Madhavan:1984:SAR% }. \NAMECITE{seek}{% Gupta:1981:RAM% }. \NAMECITE{segments}{% Gordon:1983:CRF% }. \NAMECITE{Selection}{% Munro:1980:SSL% }. \NAMECITE{selective}{% Kleijn:1981:CFR,% Selman:1982:RNP% }. \NAMECITE{Semantics}{% Tennent:1983:SIC,% Arnold:1980:MII,% Astesiano:1984:DSN,% Back:1983:CSU,% Boussinot:1982:PDS,% Elrad:1984:WPS,% Emerson:1983:AST,% Francez:1984:LHS,% Gallier:1981:NFPa,% Gallier:1981:NFPb,% Gogolla:1984:AOS,% Goguen:1984:SFAa,% Goguen:1984:SFAb,% Hennessy:1980:MSN,% Hindley:1983:CTR,% Lassez:1984:CFS,% Mahr:1984:CSL,% Padawitz:1982:GGO,% Pair:1982:ADT,% Pnueli:1980:TSC,% Soundararajan:1984:DSC,% deBakker:1983:ICD,% deBakker:1984:LTB% }. \NAMECITE{{semi}}{% Beauquier:1981:SSA,% Jantzen:1984:HIS% }. \NAMECITE{{semi-AFLs}}{% Beauquier:1981:SSA% }. \NAMECITE{{semi-Thue}}{% Jantzen:1984:HIS% }. \NAMECITE{semigroup}{% Margolis:1982:STS% }. \NAMECITE{semigroups}{% Hall:1984:BCI% }. \NAMECITE{sensitive}{% Istrail:1982:GGR% }. \NAMECITE{sensitivity}{% Rosenthal:1981:OAS% }. \NAMECITE{sentences}{% Book:1983:DSC% }. \NAMECITE{sentential}{% Jantzen:1984:HIS% }. \NAMECITE{separable}{% Nemeti:1982:EFA% }. \NAMECITE{Separately}{% Adamek:1983:SCA% }. \NAMECITE{Sequence}{% Germano:1981:SRC,% Ehrenfeucht:1980:BDS% }. \NAMECITE{{sequences}}{% Prodinger:1980:IDS% }. \NAMECITE{Sequential}{% Berry:1982:SAC,% Brzozowski:1980:ERL,% Chan:1983:FVP,% Fernandez:1984:DCC,% Janicki:1984:NSC% }. \NAMECITE{series}{% Berstel:1982:RFP,% Bozapalidis:1983:RFT,% Jacob:1984:FPS,% Uchimura:1984:TIM% }. \NAMECITE{sets}{% Boe:1980:MCS,% Gurari:1981:CEP,% Hartmanis:1982:NNC,% Hartmanis:1984:CTN,% Homer:1983:ODP,% Landweber:1981:SSN,% Maon:1984:TSC,% McAloon:1984:PNL,% Schoning:1982:UAO,% Selman:1982:RNP,% Takahashi:1983:NSR% }. \NAMECITE{setting}{% Csirmaz:1981:PPV% }. \NAMECITE{Several}{% Katseff:1981:SRP% }. \NAMECITE{sharing}{% Sethi:1982:PGS% }. \NAMECITE{Sharp}{% Crochemore:1982:SCS% }. \NAMECITE{shortest}{% Raiha:1981:SCS% }. \NAMECITE{{Shyamasundar}}{% Ramanan:1983:CSC% }. \NAMECITE{signatures}{% Goguen:1984:SFAa,% Lieberherr:1981:UCD% }. \NAMECITE{Signed}{% Goguen:1984:SFAb% }. \NAMECITE{Simple}{% Ibarra:1983:SPL,% Duris:1983:OWS,% Gurari:1982:SSU,% Ibarra:1982:CSA% }. \NAMECITE{simplified}{% Gurari:1982:SSU% }. \NAMECITE{simulation}{% Gill:1980:DST,% Rozenberg:1984:SPE,% Vitanyi:1984:SMS% }. \NAMECITE{Simulations}{% Loui:1982:SAM% }. \NAMECITE{single}{% Jantzen:1981:SMS% }. \NAMECITE{Size}{% Lev:1983:SBS,% Blum:1984:BFR,% Katseff:1981:SRP,% Wegener:1982:BFW% }. \NAMECITE{{Skolem}}{% Borger:1980:RPP,% Karpinski:1982:DSM% }. \NAMECITE{Skolemization}{% Cox:1984:CNA% }. \NAMECITE{small}{% Schoning:1984:SG% }. \NAMECITE{Software}{% Anonymous:1984:SCF,% Klaeren:1984:CMA% }. \NAMECITE{Solution}{% Lazard:1981:SAE,% Berenguer:1982:SSE,% Edelsbrunner:1981:SOS,% Maggiolo-Schettini:1980:MSC,% Szwerinski:1982:TOS,% Wedde:1983:ISF% }. \NAMECITE{solutions}{% Braquelaire:1984:STS,% Cohen:1984:SES% }. \NAMECITE{Some}{% Bergstra:1982:SNS,% Dybjer:1984:SRD,% Gati:1981:SEG,% Goguen:1984:SFAa,% Goguen:1984:SFAb,% Grant:1980:SMI,% Gurari:1982:SSU,% Istrail:1982:SRN,% Nesetril:1984:SNR,% Otto:1984:SUR,% Oyamaguchi:1984:SRS,% Yap:1983:SCN,% deBruijn:1984:SMD,% vonzurGathen:1980:SPH,% Escrig:1984:CPO,% Hartmann:1980:MCS,% Ibarra:1983:SDQ,% Ito:1983:MPE,% Kinber:1983:IPS,% Kucera:1980:CDT,% Moran:1981:GAA,% Uchimura:1984:TIM,% deLuca:1980:SPV% }. \NAMECITE{sorting}{% Kirkpatrick:1984:UBS,% Munro:1980:SSL,% Yao:1982:TST% }. \NAMECITE{sound}{% Bancilhon:1984:SCA,% Bergstra:1982:SNS% }. \NAMECITE{space}{% Edelsbrunner:1981:SOS,% Goldschlager:1982:MFP,% Hong:1984:TTS,% Lewis:1982:SSB,% Loui:1981:SBO,% Monien:1982:ENT,% Tao:1981:CPA,% Yao:1982:TST% }. \NAMECITE{space-bounded}{% Lewis:1982:SSB% }. \NAMECITE{space-optimal}{% Edelsbrunner:1981:SOS% }. \NAMECITE{spaces}{% Kamimura:1984:EGS,% Weihrauch:1981:EMS% }. \NAMECITE{special}{% Jantzen:1981:SMS,% Oyamaguchi:1984:SRS% }. \NAMECITE{specification}{% Ehrig:1984:PPA,% Klaeren:1984:CMA,% Mahr:1984:CSL% }. \NAMECITE{Specifications}{% Wand:1982:SMI,% Gogolla:1984:AOS% }. \NAMECITE{speed}{% Hartmanis:1983:GSS% }. \NAMECITE{speed-up}{% Hartmanis:1983:GSS% }. \NAMECITE{Speeding}{% Staples:1980:SSR% }. \NAMECITE{{Sperner}}{% Berenguer:1982:SSE% }. \NAMECITE{{Sperner-Erd{{o}}s}}{% Berenguer:1982:SSE% }. \NAMECITE{Squad}{% Nishitani:1981:FSS,% Szwerinski:1982:TOS% }. \NAMECITE{square}{% Ehrenfeucht:1981:SCS% }. \NAMECITE{square-free}{% Ehrenfeucht:1981:SCS% }. \NAMECITE{squarefree}{% Crochemore:1982:SCS% }. \NAMECITE{Stability}{% Grefenstette:1983:SS% }. \NAMECITE{star}{% Braquelaire:1984:STS,% Thomas:1981:RSH% }. \NAMECITE{star-height}{% Braquelaire:1984:STS% }. \NAMECITE{star-height-problem}{% Thomas:1981:RSH% }. \NAMECITE{starvation}{% Wedde:1983:ISF% }. \NAMECITE{starvation-free}{% Wedde:1983:ISF% }. \NAMECITE{state}{% Beynon:1980:SFF% }. \NAMECITE{Stationary}{% Gelenbe:1983:SDF% }. \NAMECITE{stochastic}{% Kanaoka:1984:DSS% }. \NAMECITE{storage}{% Galil:1981:LTS,% Munro:1980:SSL,% Reischuk:1982:FIM,% Sethi:1982:PGS,% Vitanyi:1984:SMS% }. \NAMECITE{store}{% Duris:1982:FTW% }. \NAMECITE{strategies}{% Wiehagen:1984:PPS% }. \NAMECITE{strict}{% King:1980:ITF,% Tomita:1983:DBA% }. \NAMECITE{string}{% Apostolico:1983:OLD,% Galil:1981:LTS,% Head:1983:DSP,% Rozenberg:1983:SLPa% }. \NAMECITE{string-matching}{% Galil:1981:LTS% }. \NAMECITE{strings}{% Jantzen:1981:PSO% }. \NAMECITE{Strong}{% Long:1982:SNP% }. \NAMECITE{Structure}{% Ekkonen:1982:SPE,% Beynon:1980:SFF,% Dybjer:1984:SRD,% Gati:1981:SEG,% Landweber:1981:SSN,% Uchimura:1982:PSG% }. \NAMECITE{structured}{% Halpern:1983:PDL% }. \NAMECITE{structures}{% Bergstra:1982:SNS,% Berry:1982:SAC,% Cousineau:1980:ADC,% Frederickson:1984:RRO,% Kfoury:1983:DPF,% Madhavan:1984:SAR,% Nielsen:1980:PNE% }. \NAMECITE{structuring}{% Thatcher:1981:MAS% }. \NAMECITE{study}{% Broy:1984:SSM,% Ershov:1982:MCP% }. \NAMECITE{studying}{% Sethi:1982:PGS,% Sifakis:1982:UAS% }. \NAMECITE{subclass}{% Oyamaguchi:1984:SRS% }. \NAMECITE{subgraph}{% Fortune:1980:DSH,% Syslo:1982:SIP% }. \NAMECITE{subrecursive}{% Kozen:1980:ISC% }. \NAMECITE{Subset}{% Rozenberg:1983:SLPa,% Rozenberg:1983:SLPb% }. \NAMECITE{Substitution}{% Beauquier:1981:SSA,% Latteux:1981:CLS% }. \NAMECITE{subtree}{% Staples:1980:SSR% }. \NAMECITE{subword}{% Ehrenfeucht:1981:SCS% }. \NAMECITE{success}{% Sato:1984:ESP% }. \NAMECITE{Succinct}{% Leiss:1981:SRR% }. \NAMECITE{Succinctness}{% Fischer:1983:SDS,% Hartmanis:1983:GSS% }. \NAMECITE{sum}{% deSimone:1984:MSI,% Chin:1984:EIC% }. \NAMECITE{Super}{% Etzion:1983:SNT% }. \NAMECITE{Super-nets}{% Etzion:1983:SNT% }. \NAMECITE{superconcentrator}{% Meshulam:1984:GCS% }. \NAMECITE{superconcentrators}{% Lev:1983:SBS% }. \NAMECITE{superexponential}{% Tao:1981:CPA% }. \NAMECITE{supersequence}{% Raiha:1981:SCS% }. \NAMECITE{survey}{% Apt:1984:TYH,% Harel:1980:PCR% }. \NAMECITE{symbolic}{% Sato:1983:TSE% }. \NAMECITE{Symmetric}{% Cohen:1984:SES,% Lewis:1982:SSB% }. \NAMECITE{synchronisation}{% Austry:1984:APS% }. \NAMECITE{Synchronization}{% Nishitani:1981:FSS,% Winskel:1984:ST,% Genrich:1984:TBS,% Istrail:1983:NPS,% Szwerinski:1982:TOS% }. \NAMECITE{Synchronized}{% Maurer:1980:SEF% }. \NAMECITE{synchronizing}{% Jantzen:1981:PSO% }. \NAMECITE{synchrony}{% Milner:1983:CSA% }. \NAMECITE{syntactic}{% Hall:1984:BCI,% Margolis:1982:STS% }. \NAMECITE{Syntax}{% Joshi:1980:LCP% }. \NAMECITE{System}{% Genrich:1980:SMH,% Cohen:1984:SES,% Winkowski:1982:ADS% }. \NAMECITE{systematic}{% Broy:1984:SSM% }. \NAMECITE{systems}{% Book:1982:MTS,% Dershowitz:1982:OTR,% Ehrenfeucht:1980:AES,% Ehrenfeucht:1980:ETE,% Fischer:1983:SDS,% Gelenbe:1983:SDF,% Grefenstette:1983:SS,% Honkala:1984:BAN,% Istrail:1983:NPS,% Jacob:1984:FPS,% Jantzen:1984:HIS,% Kanaoka:1984:DSS,% Kuich:1983:ILS,% Lazard:1981:SAE,% Lee:1983:TUS,% Lynch:1980:DBI,% Maggiolo-Schettini:1980:MSC,% Maurer:1983:CNS,% Nakamura:1983:RBG,% Narendran:1984:UPT,% ODunglaing:1983:UQR,% ODunlaing:1983:IRT,% Otto:1984:FCR,% Otto:1984:SUR,% Rajlich:1983:DPS,% Sifakis:1982:UAS,% Siromoney:1984:IAC,% Staples:1980:SSR,% Uchimura:1982:PSG,% Winkowski:1980:BCS% }. \NAMECITE{Systolic}{% Steinby:1983:STS,% Culik:1983:FLR,% Ibarra:1984:CCC% }. \NAMECITE{table}{% Siromoney:1984:IAC% }. \NAMECITE{tape}{% Gill:1980:DST,% Inoue:1983:RBT,% Loui:1981:SBO,% Simon:1981:TBP% }. \NAMECITE{tape-bounded}{% Gill:1980:DST,% Inoue:1983:RBT,% Simon:1981:TBP% }. \NAMECITE{tapes}{% Paul:1984:HVT% }. \NAMECITE{task}{% Dutton:1982:CMT% }. \NAMECITE{tasks}{% Jaffe:1980:EST% }. \NAMECITE{{`Tautology}}{% Ben-Ari:1980:CTT% }. \NAMECITE{technique}{% Soundararajan:1984:PTP% }. \NAMECITE{techniques}{% Pan:1984:TTA% }. \NAMECITE{Technology}{% Anonymous:1984:SCF% }. \NAMECITE{template}{% Sadri:1982:TFT% }. \NAMECITE{temporal}{% Emerson:1983:AST,% Pnueli:1980:TSC% }. \NAMECITE{Ten}{% Apt:1984:TYH% }. \NAMECITE{term}{% Dershowitz:1982:OTR% }. \NAMECITE{term-rewriting}{% Dershowitz:1982:OTR% }. \NAMECITE{terminal}{% Huynh:1984:DIC,% Rozenberg:1981:PTI% }. \NAMECITE{termination}{% Apt:1984:FTR% }. \NAMECITE{terms}{% Hindley:1983:CTT,% Stratman:1981:ECT% }. \NAMECITE{tessellation}{% Maruoka:1981:PDT,% Maruoka:1983:OMT,% Toda:1983:TDP% }. \NAMECITE{test}{% Maon:1984:TSC% }. \NAMECITE{Testing}{% Book:1981:TCR,% deNicola:1984:TEP,% Ben-Ari:1980:CTT,% Finn:1983:PTF,% Monier:1980:ECT% }. \NAMECITE{tests}{% Berman:1981:PDL% }. \NAMECITE{th}{% Brandenburg:1983:UGP% }. \NAMECITE{their}{% Bergstra:1982:SNS,% Bruce:1984:CAT,% Etzion:1983:SNT,% Itzhaik:1984:NFN,% Nakamura:1983:PFT,% Paz:1981:NDP,% Uchimura:1982:PSG,% Yamasaki:1984:GPL% }. \NAMECITE{them}{% Thatcher:1981:MAS% }. \NAMECITE{theorem}{% Hindley:1983:CTT,% Hong:1984:TTS,% Istrail:1982:GGR,% Ketonen:1984:DFP,% Nijholt:1983:SLI% }. \NAMECITE{theorems}{% Beatty:1980:TIT,% Ehrenfeucht:1982:RTU,% King:1980:ITF,% Leivant:1982:UTC% }. \NAMECITE{theoretic}{% Harary:1980:GTM,% Shepherdson:1982:GTC% }. \NAMECITE{Theoretical}{% Anonymous:1984:SCF,% Galil:1981:TEV% }. \NAMECITE{theories}{% Bergstra:1982:FPC,% Berman:1980:CLT,% Goguen:1984:SFAa,% Goguen:1984:SFAb,% Hodgson:1982:DPA,% Leivant:1982:UTC,% Oppen:1980:CCC,% Volger:1983:TML% }. \NAMECITE{Theory}{% Sato:1983:TSE,% Andreka:1982:CLRa,% Andreka:1982:CLRb,% Bucher:1981:NPT,% Damm:1982:IOH,% Engeler:1981:GGT,% Gati:1981:SEG,% Genrich:1984:TBS,% Grant:1980:SMI,% Heilbrunner:1981:PAA,% Leivant:1982:UTC,% RonchiDellaRocca:1984:PTS,% Sadri:1982:TFT,% Storer:1983:TAT% }. \NAMECITE{There}{% Netto:1980:TIM% }. \NAMECITE{three}{% Inoue:1983:RBT,% Kucera:1980:CDT% }. \NAMECITE{three-way}{% Inoue:1983:RBT% }. \NAMECITE{{Thue}}{% Book:1982:MTS,% Jantzen:1984:HIS,% Narendran:1984:UPT,% ODunglaing:1983:UQR,% ODunlaing:1983:IRT,% Otto:1984:SUR% }. \NAMECITE{Time}{% Szwerinski:1982:TOS,% Angluin:1980:CPP,% Galil:1981:LTS,% Itzhaik:1984:NFN,% Long:1981:RVP,% Long:1982:SNP,% Sudborough:1983:BCP,% Tao:1981:CPA,% Watanabe:1983:TPT,% Yao:1982:TST,% Zak:1983:TMT,% deBakker:1984:LTB% }. \NAMECITE{Time-optimal}{% Szwerinski:1982:TOS% }. \NAMECITE{time-precision}{% Watanabe:1983:TPT% }. \NAMECITE{time-space}{% Yao:1982:TST% }. \NAMECITE{times}{% Hartmanis:1984:CTN% }. \NAMECITE{{TL}}{% Shepherdson:1982:GTC% }. \NAMECITE{{TL-schemes}}{% Shepherdson:1982:GTC% }. \NAMECITE{too}{% Hindley:1983:CTR% }. \NAMECITE{tools}{% Goguen:1984:SFAa,% Goguen:1984:SFAb% }. \NAMECITE{Total}{% Kamimura:1984:TOD,% Harel:1981:TCN% }. \NAMECITE{tractible}{% Book:1982:WMG% }. \NAMECITE{trade}{% Burkhard:1981:ICT% }. \NAMECITE{trade-offs}{% Burkhard:1981:ICT% }. \NAMECITE{tradeoff}{% Hong:1984:TTS,% Watanabe:1983:TPT,% Yao:1982:TST% }. \NAMECITE{transducers}{% Gill:1980:DST% }. \NAMECITE{transductions}{% Clerbout:1984:PCF% }. \NAMECITE{transformation}{% Margolis:1982:STS% }. \NAMECITE{transformations}{% Stratman:1981:ECT% }. \NAMECITE{transition}{% Sifakis:1982:UAS% }. \NAMECITE{traveling}{% Frederickson:1982:RBB% }. \NAMECITE{treatment}{% Wadge:1980:ETD% }. \NAMECITE{tree}{% Bozapalidis:1983:RFT,% Culik:1983:FLR,% Culik:1984:ITA,% Damm:1982:IOH,% Gati:1981:SEG,% Madhavan:1984:SAR,% Marchetti-Spaccamela:1983:LTR,% Reischuk:1982:FIM,% Steinby:1983:STS% }. \NAMECITE{trees}{% Arnold:1980:MII,% Berstel:1982:RFP,% Blum:1980:ANR,% Braquelaire:1984:STS,% Courcelle:1983:FPI,% Fraenkel:1984:WGC,% Lee:1983:TUS,% Perl:1982:CEL,% Steinby:1983:STS,% Winskel:1984:ST,% Zaks:1980:LGO% }. \NAMECITE{trellis}{% Ibarra:1984:CCC% }. \NAMECITE{trilinear}{% Pan:1984:TTA% }. \NAMECITE{true}{% Ehrenfeucht:1980:ETE% }. \NAMECITE{Truncations}{% Uchimura:1984:TIM% }. \NAMECITE{{Turing}}{% Chazelle:1983:UHE,% Cohen:1980:COT,% Freund:1983:RFN,% Gill:1980:DST,% Ibarra:1983:SPL,% Inoue:1983:RBT,% Inoue:1983:TDA,% Loui:1981:SBO,% Loui:1982:SAM,% Monien:1982:ENT,% Simon:1981:TBP,% Volger:1983:TML,% Watanabe:1983:TPT,% Zak:1983:TMT% }. \NAMECITE{Two}{% Beatty:1980:TIT,% Inoue:1983:TDA,% Miyano:1982:TWD,% Toda:1983:TDP,% Bergstra:1984:HLP,% Braquelaire:1984:STS,% Duris:1982:FTW,% Ehrenfeucht:1980:ETE,% Ehrenfeucht:1982:GPC,% Gurari:1981:CEP,% Inoue:1983:RBT,% Maluszynski:1984:TPL,% MeyerAufDerHeide:1981:CTV,% Monier:1980:ECT,% Stoy:1981:CTP% }. \NAMECITE{Two-dimensional}{% Inoue:1983:TDA,% Toda:1983:TDP,% Inoue:1983:RBT% }. \NAMECITE{two-level}{% Maluszynski:1984:TPL% }. \NAMECITE{Two-way}{% Miyano:1982:TWD% }. \NAMECITE{type}{% Cohen:1980:COT,% Coppo:1984:CTA,% Fehr:1984:EPT,% Hindley:1983:CTR,% RonchiDellaRocca:1984:PTS,% Stratman:1981:ECT,% Daley:1983:ECP% }. \NAMECITE{type-free}{% Fehr:1984:EPT% }. \NAMECITE{type-rules}{% Hindley:1983:CTR% }. \NAMECITE{typed}{% Astesiano:1984:DSN,% Fehr:1984:EPT,% Hennessy:1980:MSN% }. \NAMECITE{types}{% Bergstra:1984:HLP,% Broy:1984:SSM,% Ehrig:1982:AIA,% Ehrig:1983:CPP,% Hindley:1984:CDT,% Pair:1982:ADT,% Schmidt:1983:APA% }. \NAMECITE{typing}{% Hindley:1983:CTT% }. \NAMECITE{unary}{% Lee:1983:TUS% }. \NAMECITE{Unbounded}{% Chazelle:1983:UHE,% Back:1983:CSU% }. \NAMECITE{undecidability}{% Goldfarb:1981:USO,% Narendran:1984:UPT,% Niemi:1984:UFE,% Otto:1984:SUR% }. \NAMECITE{Undecidable}{% ODunglaing:1983:UQR,% Gurari:1982:SSU,% Heilbrunner:1983:MUP% }. \NAMECITE{undetermined}{% Biskup:1980:IMD% }. \NAMECITE{unification}{% Goldfarb:1981:USO,% Stratman:1981:ECT% }. \NAMECITE{unified}{% Ausiello:1980:TUA,% Sifakis:1982:UAS% }. \NAMECITE{Uniform}{% Lieberherr:1981:UCD,% Rosenberg:1980:UDE,% Schoning:1982:UAO,% Yap:1983:SCN% }. \NAMECITE{Uniformly}{% Brandenburg:1983:UGP% }. \NAMECITE{unifying}{% Harel:1980:PCR% }. \NAMECITE{Unique}{% Tiuryn:1980:UFP% }. \NAMECITE{universal}{% Paredaens:1982:UFE% }. \NAMECITE{universes}{% Biskup:1980:IMD% }. \NAMECITE{Unprovability}{% Leivant:1982:UTC% }. \NAMECITE{Upper}{% Kirkpatrick:1984:UBS,% Main:1981:FUR% }. \NAMECITE{use}{% Jaffe:1980:EST,% Monien:1982:ENT% }. \NAMECITE{user}{% Jankowski:1983:LFA% }. \NAMECITE{using}{% Bergstra:1984:PPI,% Ehrenfeucht:1982:RTU,% Galil:1981:LTS,% Gordon:1983:CRF,% Harel:1980:PCR,% Madhavan:1984:SAR,% Nambiar:1983:RFD,% Wasilkowski:1983:IPE% }. \NAMECITE{valuedness}{% Chan:1983:FVP% }. \NAMECITE{variables}{% Olderog:1984:CPP% }. \NAMECITE{variations}{% MeyerAufDerHeide:1981:CTV% }. \NAMECITE{variety}{% Nemeti:1982:EFA% }. \NAMECITE{various}{% Galil:1981:TEV% }. \NAMECITE{verifications}{% Csirmaz:1981:PPV% }. \NAMECITE{versus}{% Long:1981:RVP,% Paul:1984:HVT% }. \NAMECITE{very}{% deLuca:1980:SPV% }. \NAMECITE{via}{% Andreka:1982:CLRa,% Andreka:1982:CLRb,% Astesiano:1984:PCL% }. \NAMECITE{vs}{% Tiuryn:1980:UFP,% Tomita:1983:DBA,% deSimone:1984:MSI% }. \NAMECITE{way}{% Duris:1982:FTW,% Duris:1983:OWS,% Inoue:1983:RBT,% Miyano:1982:TWD% }. \NAMECITE{weak}{% Leivant:1982:UTC,% Miyano:1982:TWD% }. \NAMECITE{weaker}{% Berman:1981:PDL% }. \NAMECITE{weakest}{% Elrad:1984:WPS% }. \NAMECITE{weight}{% Blum:1980:ANR% }. \NAMECITE{weight-balanced}{% Blum:1980:ANR% }. \NAMECITE{well}{% Halpern:1983:PDL% }. \NAMECITE{well-structured}{% Halpern:1983:PDL% }. \NAMECITE{whether}{% Bucher:1983:IDW% }. \NAMECITE{which}{% Bergstra:1982:SNS,% Goldstine:1982:PAC,% Mahr:1984:CSL,% Monien:1982:ENT,% Perrin:1984:ORM% }. \NAMECITE{while}{% Bergstra:1982:SNS% }. \NAMECITE{while-programs}{% Bergstra:1982:SNS% }. \NAMECITE{whose}{% Wegener:1982:BFW% }. \NAMECITE{without}{% Berman:1981:PDL,% Dutton:1982:CMT,% Germano:1981:SRC,% Indermark:1982:RDC,% Jaffe:1980:EST,% Olderog:1984:CPP% }. \NAMECITE{words}{% Boe:1980:MCS,% Culik:1982:IWO,% Ehrenfeucht:1982:GPC,% Miyano:1984:AFA% }. \NAMECITE{wordsequence}{% Fachini:1984:HPR% }. \NAMECITE{worktape}{% Monien:1982:ENT% }. \NAMECITE{{Wythoff}}{% Fraenkel:1984:WGC% }. \NAMECITE{years}{% Apt:1984:TYH% }.