%%======================================================================
%% 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@psi.math.utah.edu on Fri Apr 11 12:39:05 MDT 2008
%%======================================================================

\ifx \NAMECITE \undefined % User can override this definition 
    \def \NAMECITE #1#2{{\bf #1}~\cite{#2}}
\fi



\NAMECITE{$(s,t)$}{%
		Armoni:2000:SAC%
		}.
\NAMECITE{$1$}{%
		Haldar:1995:CMM%
		}.
\NAMECITE{$1/2 {N}^3$}{%
		Yen:1972:FLA%
		}.
\NAMECITE{$2$}{%
		Aanderaa:1967:SHP%
		}.
\NAMECITE{$3$}{%
		Cornuejols:1985:TSP%
		}.
\NAMECITE{$4/3$}{%
		Coffman:1993:PCP%
		}.
\NAMECITE{$5$}{%
		Watanabe:1961:SSS%
		}.
\NAMECITE{$6$}{%
		Watanabe:1961:SSS%
		}.
\NAMECITE{$8$}{%
		Watanabe:1961:SSS%
		}.
\NAMECITE{$^1$}{%
		MixBarrington:1988:FMF%
		}.
\NAMECITE{${A}$}{%
		Sloate:1973:SCM%
		}.
\NAMECITE{${C}$}{%
		Slagle:1972:AFL%
		}.
\NAMECITE{$\cap$}{%
		Aharonov:2005:LPN%
		}.
\NAMECITE{${E}$}{%
		Gallier:1992:TPU%
		}.
\NAMECITE{$\ell_1$}{%
		Brinkman:2005:IDR%
		}.
\NAMECITE{$f(z)$}{%
		Rich:1963:MFA%
		}.
\NAMECITE{$f(z) = 0$}{%
		Ward:1957:HMS%
		}.
\NAMECITE{$g$}{%
		Heath:1992:PGG%
		}.
\NAMECITE{$H$}{%
		Demaine:2005:SPA%
		}.
\NAMECITE{${J}$}{%
		Chin:1981:JMJ%
		}.
\NAMECITE{$k$}{%
		Mickunas:1976:TLK,%
		Katoh:1981:ABS%
		}.
\NAMECITE{$k + 1$}{%
		Yao:1978:HBT%
		}.
\NAMECITE{${K}_m$}{%
		Liefvoort:1986:MAS%
		}.
\NAMECITE{${L}$}{%
		Sanders:1965:DAC%
		}.
\NAMECITE{${L}_1$}{%
		Abdelmalek:1971:LAD%
		}.
\NAMECITE{$L_p$}{%
		Lee:1980:TDV%
		}.
\NAMECITE{${\Lambda}$}{%
		Griffiths:1968:UEP%
		}.
\NAMECITE{$\ln n$}{%
		Feige:1998:TAS%
		}.
\NAMECITE{$\log^*n$}{%
		Chuzhoy:2005:ACH%
		}.
\NAMECITE{$\log^{c}n$}{%
		Berger:1991:SWI%
		}.
\NAMECITE{$m$}{%
		Douglas:1962:ADM%
		}.
\NAMECITE{$M'=\vee_{i=1}M^i$}{%
		SimoesPereira:1965:BME%
		}.
\NAMECITE{$m \times n$}{%
		Nelson:1957:SCS%
		}.
\NAMECITE{$n$}{%
		Moursund:1965:CSL,%
		Hoffman:1959:MSB%
		}.
\NAMECITE{$n + 1$}{%
		Moursund:1965:CSL%
		}.
\NAMECITE{$n/2/{F}/{\overline F}$}{%
		Kohler:1975:EAG%
		}.
\NAMECITE{${N}^3$}{%
		Yen:1972:FLA%
		}.
\NAMECITE{${NC}$}{%
		Berger:1991:SWI%
		}.
\NAMECITE{${O(1)}$}{%
		Fredman:1984:SST%
		}.
\NAMECITE{${O}(\epsilon^2)$}{%
		Vantilborgh:1985:AE%
		}.
\NAMECITE{${O}(g)$}{%
		Heath:1992:PGG%
		}.
\NAMECITE{${O(\log(n)^{4/3})}$}{%
		Armoni:2000:SAC%
		}.
\NAMECITE{${O}(\log n)$}{%
		Bracha:1987:ERR,%
		Upfal:1992:DPR%
		}.
\NAMECITE{$O(n)$}{%
		Franceschini:2005:PSC%
		}.
\NAMECITE{${O}(n^2 (m + n \log n ) \log n)$}{%
		Galil:1988:MMC%
		}.
\NAMECITE{$O(n^2)$}{%
		Demetrescu:2005:TOF%
		}.
\NAMECITE{${O}(n^3)$}{%
		Galil:1987:DVI%
		}.
\NAMECITE{${O}(n^3 \log n)$}{%
		Galil:1987:DVI%
		}.
\NAMECITE{$O(n \log n)$}{%
		Hwang:1979:ARM%
		}.
\NAMECITE{$\omega$}{%
		Culik:1984:OSE%
		}.
\NAMECITE{${\Omega}(n^k)$}{%
		Adachi:1984:SCG%
		}.
\NAMECITE{$\omega_n$}{%
		Sherman:1957:DTP%
		}.
\NAMECITE{${P}$}{%
		Sahni:1976:CAP%
		}.
\NAMECITE{${P} = 2$}{%
		Cocke:1964:UTS%
		}.
\NAMECITE{$\partial^2u/\partial x^2 + \partial^2u/\partial y^2 + ({K}/y)(\partial u/\partial y) = 0$}{%
		Ehrlich:1959:MCS%
		}.
\NAMECITE{${Q}$}{%
		Goldstein:1957:BLA%
		}.
\NAMECITE{${R}$}{%
		Slater:1976:DG%
		}.
\NAMECITE{$R^3$}{%
		Dey:1998:CHG%
		}.
\NAMECITE{$T$}{%
		Nieuwenhuis:2006:SSS%
		}.
\NAMECITE{${T}_0$}{%
		Das:1977:MRF%
		}.
\NAMECITE{${W}$}{%
		Lee:1961:CAW%
		}.
\NAMECITE{${X} + {Y}$}{%
		Johnson:1978:LBS%
		}.
\NAMECITE{${Z}$}{%
		Dixon:1973:ZRT%
		}.


\NAMECITE{-ary}{%
		Guibas:1978:AHT%
		}.
\NAMECITE{-Body}{%
		Callahan:1995:DMP%
		}.
\NAMECITE{-center}{%
		Chuzhoy:2005:ACH%
		}.
\NAMECITE{-Complete}{%
		Sahni:1976:CAP%
		}.
\NAMECITE{-Complexes}{%
		Gross:1979:LTP%
		}.
\NAMECITE{-Dimensional}{%
		MeyeraufderHeide:1984:PLS%
		}.
\NAMECITE{-Domination}{%
		Slater:1976:DG%
		}.
\NAMECITE{-Edge}{%
		Cornuejols:1985:TSP%
		}.
\NAMECITE{-element}{%
		Bulatov:2006:DTC%
		}.
\NAMECITE{-Evaluation}{%
		Wasilkowski:1981:ECM%
		}.
\NAMECITE{-Free}{%
		Griffiths:1968:UEP%
		}.
\NAMECITE{-Groups}{%
		Larson:1976:ECC%
		}.
\NAMECITE{-hard}{%
		Chuzhoy:2005:ACH%
		}.
\NAMECITE{-Languages}{%
		Sanders:1965:DAC%
		}.
\NAMECITE{-Linear}{%
		Slagle:1972:AFL%
		}.
\NAMECITE{-Machine}{%
		Lee:1961:CAW%
		}.
\NAMECITE{-maximal}{%
		Chin:1981:JMJ%
		}.
\NAMECITE{{-Median}}{%
		Jain:2001:AAM%
		}.
\NAMECITE{{}-metric}{%
		Lee:1980:TDV%
		}.
\NAMECITE{-minimal}{%
		Chin:1981:JMJ%
		}.
\NAMECITE{{}-minor-free}{%
		Demaine:2005:SPA%
		}.
\NAMECITE{-Module}{%
		Wang:1993:ZMR%
		}.
\NAMECITE{-Nearest-Neighbors}{%
		Callahan:1995:DMP%
		}.
\NAMECITE{-Node}{%
		Yen:1972:FLA%
		}.
\NAMECITE{-Process}{%
		Burns:1982:DRI%
		}.
\NAMECITE{-Resolution}{%
		Dixon:1973:ZRT%
		}.
\NAMECITE{{-SAT}}{%
		Paturi:2005:IET%
		}.
\NAMECITE{-Sequence}{%
		Culik:1984:OSE%
		}.
\NAMECITE{-Sequences}{%
		Arvillias:1978:PPC%
		}.
\NAMECITE{-server}{%
		Koutsoupias:1995:KSC%
		}.
\NAMECITE{-set}{%
		Chaudhuri:2000:TBS%
		}.
\NAMECITE{-Stable}{%
		Sloate:1973:SCM%
		}.
\NAMECITE{-State}{%
		Watanabe:1961:SSS%
		}.
\NAMECITE{-Symbol}{%
		Watanabe:1961:SSS%
		}.
\NAMECITE{-Uniform}{%
		Allender:1989:PUC%
		}.
\NAMECITE{-Variables}{%
		Anders:1966:ERI%
		}.
\NAMECITE{-Wise}{%
		Berger:1991:SWI%
		}.
\NAMECITE{-Writer}{%
		Haldar:1995:CMM%
		}.


\NAMECITE{0/1}{%
		Sahni:1975:AAK%
		}.
\NAMECITE{{0S}}{%
		Ehrenfeucht:1980:SEP%
		}.


\NAMECITE{{1}}{%
		Rider:1976:SAA%
		}.
\NAMECITE{{1103}}{%
		Bauer:1956:ICS%
		}.
\NAMECITE{{1955}}{%
		Householder:1956:PAA%
		}.


\NAMECITE{3-query}{%
		Yekhanin:2008:TQL%
		}.


\NAMECITE{50th}{%
		Halpern:2003:JA%
		}.


\NAMECITE{{650}}{%
		Hamilton:1954:IMD%
		}.


\NAMECITE{{A}*}{%
		Dechter:1985:GBF%
		}.
\NAMECITE{Abacus}{%
		Li:1959:ODC%
		}.
\NAMECITE{Abbreviating}{%
		Bourne:1961:SMS%
		}.
\NAMECITE{Abduction}{%
		Eiter:1995:CLA%
		}.
\NAMECITE{abductive}{%
		Eiter:2007:CAA%
		}.
\NAMECITE{ability}{%
		Nayak:2006:LAQ%
		}.
\NAMECITE{Absolute}{%
		Crane:1965:PCA%
		}.
\NAMECITE{Abstract}{%
		Overheu:1966:AMS,%
		Huet:1980:CRA%
		}.
\NAMECITE{Abstraction}{%
		Imielinski:1991:AQP%
		}.
\NAMECITE{{Academy}}{%
		Lebedev:1956:HSE%
		}.
\NAMECITE{Accelerated}{%
		Srinivasan:1972:AAL%
		}.
\NAMECITE{Accelerating}{%
		Fox:1970:ALP%
		}.
\NAMECITE{Acceleration}{%
		Trojan:1984:LBF%
		}.
\NAMECITE{Accept}{%
		Stewart:1967:MDM%
		}.
\NAMECITE{Acceptable}{%
		Schutzenberger:1968:RAS%
		}.
\NAMECITE{Acceptance}{%
		Brock:1954:PAT%
		}.
\NAMECITE{Accepted}{%
		Ginsburg:1961:STA%
		}.
\NAMECITE{Access}{%
		Trainiter:1963:ARA%
		}.
\NAMECITE{Accessing}{%
		Burge:1971:AM%
		}.
\NAMECITE{Account}{%
		Oettinger:1957:AIA%
		}.
\NAMECITE{Accounting}{%
		Trexler:1954:PUC%
		}.
\NAMECITE{Accumulation}{%
		Kaneko:1970:ARE%
		}.
\NAMECITE{Accuracy}{%
		Ralston:1959:FQF%
		}.
\NAMECITE{accurate}{%
		Xu:2006:FAA%
		}.
\NAMECITE{Achieve}{%
		Ralston:1959:FQF%
		}.
\NAMECITE{achieving}{%
		Dinitz:2008:BCB%
		}.
\NAMECITE{{Ackermann}}{%
		Chazelve:2000:MST%
		}.
\NAMECITE{acknowledgment}{%
		Dooly:2001:LAT%
		}.
\NAMECITE{{ACM}}{%
		Bauer:1959:APP%
		}.
\NAMECITE{Action}{%
		Lin:1995:PCT%
		}.
\NAMECITE{Actions}{%
		Sethi:1982:UAM%
		}.
\NAMECITE{Activity}{%
		Smith:1962:MAN%
		}.
\NAMECITE{Acyclic}{%
		Beeri:1983:DAD%
		}.
\NAMECITE{Acyclicity}{%
		Fagin:1983:DAH%
		}.
\NAMECITE{{Adams}}{%
		Alonso:1960:SMT%
		}.
\NAMECITE{Adaptation}{%
		Pease:1968:AFF%
		}.
\NAMECITE{adapting}{%
		Attiya:2003:AAP%
		}.
\NAMECITE{Adaptive}{%
		Holland:1962:OLT%
		}.
\NAMECITE{Addendum}{%
		Estrin:1962:CA%
		}.
\NAMECITE{Adding}{%
		Willard:1985:ARR%
		}.
\NAMECITE{Addition}{%
		Winograd:1965:TRP%
		}.
\NAMECITE{Additional}{%
		Leung:1993:ESS,%
		Borko:1964:ADC%
		}.
\NAMECITE{Additions}{%
		Yen:1972:FLA%
		}.
\NAMECITE{Additive}{%
		Green:1959:ETA%
		}.
\NAMECITE{Address}{%
		Elgot:1954:SVT%
		}.
\NAMECITE{Addressable}{%
		Rosenberg:1972:ADG%
		}.
\NAMECITE{Addressed}{%
		Kautz:1971:ACA%
		}.
\NAMECITE{Addresses}{%
		Ben-Amram:1992:PVA%
		}.
\NAMECITE{Addressing}{%
		Trainiter:1963:ARA%
		}.
\NAMECITE{Addressless}{%
		Blikle:1972:AUC%
		}.
\NAMECITE{Adjusting}{%
		Sleator:1985:SAB%
		}.
\NAMECITE{admission}{%
		Liu:1997:EBA%
		}.
\NAMECITE{Advanced}{%
		Greenwald:1956:CAU%
		}.
\NAMECITE{Advances}{%
		Goodman:1975:AHC%
		}.
\NAMECITE{Adversarial}{%
		Borodin:2001:AQT%
		}.
\NAMECITE{Adversaries}{%
		Halpern:1993:KPA%
		}.
\NAMECITE{Adverse}{%
		Maddison:1966:PNL%
		}.
\NAMECITE{advice}{%
		Cesa-Bianchi:1997:HUE%
		}.
\NAMECITE{{AdWords}}{%
		Mehta:2007:AGO%
		}.
\NAMECITE{{AFA}}{%
		Greibach:1972:MA%
		}.
\NAMECITE{{AFL}}{%
		Ginsburg:1970:TWB%
		}.
\NAMECITE{After}{%
		Greenwald:1956:CAU%
		}.
\NAMECITE{Again}{%
		deChampeaux:1983:BHS%
		}.
\NAMECITE{{Age}}{%
		Gotlieb:2003:GAJ%
		}.
\NAMECITE{Aggregate}{%
		Klug:1982:ERA%
		}.
\NAMECITE{Aggregated}{%
		Stewart:1983:CEB%
		}.
\NAMECITE{Aggregation}{%
		Vantilborgh:1978:EAE%
		}.
\NAMECITE{Aggregation/\penalty0{}Disaggregation}{%
		Cao:1985:IAD%
		}.
\NAMECITE{Aging}{%
		Vianu:1987:DFD%
		}.
\NAMECITE{Agreement}{%
		Dolev:1985:BIE,%
		Lindell:2006:CAB%
		}.
\NAMECITE{Agreements}{%
		Pease:1980:RAP%
		}.
\NAMECITE{Ahead}{%
		Sandewall:1969:PPS%
		}.
\NAMECITE{{AI}}{%
		Reddy:2003:TOP%
		}.
\NAMECITE{Aid}{%
		Klingman:1964:NPA%
		}.
\NAMECITE{Aided}{%
		Brown:1969:MSC%
		}.
\NAMECITE{Aids}{%
		Prather:1960:CAD%
		}.
\NAMECITE{{Aitken}}{%
		Gershinsky:1964:AHI%
		}.
\NAMECITE{{Aitken-Hermite}}{%
		Gershinsky:1964:AHI%
		}.
\NAMECITE{Algebra}{%
		Williams:1962:APS%
		}.
\NAMECITE{Algebraic}{%
		Lance:1959:SAT%
		}.
\NAMECITE{Algebras}{%
		Liu:1969:LFP%
		}.
\NAMECITE{{ALGOL}}{%
		Bottenbruch:1962:SUA%
		}.
\NAMECITE{{ALGOL}-Like}{%
		Ginsburg:1963:SRU%
		}.
\NAMECITE{Algorithm}{%
		Curtis:1959:ADP%
		}.
\NAMECITE{Algorithmic}{%
		Gilbert:1966:SAL%
		}.
\NAMECITE{Algorithms}{%
		Falkoff:1962:APS,%
		Garfinkel:1978:BTS%
		}.
\NAMECITE{{Allen}}{%
		Nebel:1995:RAT%
		}.
\NAMECITE{Allocating}{%
		Rosenberg:1974:ASE,%
		Rosenberg:1975:CAS%
		}.
\NAMECITE{Allocation}{%
		Derr:1956:SAA%
		}.
\NAMECITE{Allow}{%
		Rhee:1988:SDA%
		}.
\NAMECITE{Allowing}{%
		Berman:1974:MLT%
		}.
\NAMECITE{Almost}{%
		Wilkinson:1959:SRM%
		}.
\NAMECITE{Almost-Linear}{%
		Gabow:1982:ALA%
		}.
\NAMECITE{{ALOHA}}{%
		Tobagi:1982:DPD%
		}.
\NAMECITE{Alpha}{%
		Pitts:2006:ASR,%
		Yershov:1966:AAP%
		}.
\NAMECITE{Alpha-structural}{%
		Pitts:2006:ASR%
		}.
\NAMECITE{Alphameric}{%
		Bracken:1956:GSH%
		}.
\NAMECITE{Alphanumeric}{%
		Morrison:1968:PPA%
		}.
\NAMECITE{Alternating}{%
		Conte:1960:ADM%
		}.
\NAMECITE{Alternating-time}{%
		Alur:2002:ATT%
		}.
\NAMECITE{Alternation}{%
		Chandra:1981:A%
		}.
\NAMECITE{ambients}{%
		Merro:2005:BTM%
		}.
\NAMECITE{Ambiguities}{%
		Gorn:1963:DGA%
		}.
\NAMECITE{Ambiguity}{%
		Bellman:1960:SMA%
		}.
\NAMECITE{Ambiquity}{%
		Ginsburg:1966:PUI%
		}.
\NAMECITE{Among}{%
		Hibbard:1966:IIA%
		}.
\NAMECITE{amortized}{%
		Chan:2001:DPC%
		}.
\NAMECITE{Amphisbaenic}{%
		Nagler:1959:AS,%
		Lively:1960:LEA%
		}.
\NAMECITE{amplification}{%
		Dinur:2007:PTG%
		}.
\NAMECITE{Amplifiers}{%
		Hamer:1955:TOA%
		}.
\NAMECITE{Analog}{%
		Edwards:1954:SAM%
		}.
\NAMECITE{Analog-Digital}{%
		Bauer:1957:SGP%
		}.
\NAMECITE{Analogs}{%
		Shaw:1966:DAC%
		}.
\NAMECITE{Analogue}{%
		Jacobs:1954:ERA%
		}.
\NAMECITE{analyses}{%
		McAllester:2002:CAS%
		}.
\NAMECITE{Analysis}{%
		Householder:1956:BNA,%
		Coffman:1969:EAD%
		}.
\NAMECITE{Analyst}{%
		Wilkinson:1971:SCN%
		}.
\NAMECITE{analytic}{%
		Drmota:2003:AAH%
		}.
\NAMECITE{Analytical}{%
		Hartt:1964:SAP%
		}.
\NAMECITE{Analyze}{%
		Jones:1977:ESP%
		}.
\NAMECITE{Analyzed}{%
		Kleinrock:1966:SPM%
		}.
\NAMECITE{Analyzer}{%
		Wadel:1954:EDA%
		}.
\NAMECITE{Analyzing}{%
		Goffman:1971:MMA%
		}.
\NAMECITE{{AND/OR}}{%
		Simon:1971:OSS,%
		Mahanti:1985:AOG%
		}.
\NAMECITE{and/\penalty0{}or}{%
		Hunt:1984:TTM%
		}.
\NAMECITE{Annealing}{%
		Sasaki:1988:TCM%
		}.
\NAMECITE{anniversary}{%
		Halpern:2003:JA%
		}.
\NAMECITE{Announcement}{%
		Anonymous:1958:A%
		}.
\NAMECITE{Anomalies}{%
		Beeri:1986:EIA%
		}.
\NAMECITE{Answer}{%
		Nagler:1961:LEA%
		}.
\NAMECITE{Answering}{%
		Cooper:1964:FRD%
		}.
\NAMECITE{Antonymy}{%
		Lewis:1967:SDS%
		}.
\NAMECITE{Any}{%
		Wasilkowski:1980:CSI%
		}.
\NAMECITE{Aperiodic}{%
		Beaudry:1992:MPA%
		}.
\NAMECITE{Applicable}{%
		Lieblein:1959:GAV%
		}.
\NAMECITE{Application}{%
		Moshman:1958:ASE%
		}.
\NAMECITE{Applications}{%
		Baumann:1958:HSR%
		}.
\NAMECITE{Applied}{%
		Jacobs:1954:ERA%
		}.
\NAMECITE{Applying}{%
		Megiddo:1983:APC%
		}.
\NAMECITE{Approach}{%
		Klein:1963:CAG%
		}.
\NAMECITE{Approaches}{%
		Beck:1972:CAR%
		}.
\NAMECITE{Approximate}{%
		Householder:1958:ASM%
		}.
\NAMECITE{Approximated}{%
		Pitt:1993:MCD%
		}.
\NAMECITE{Approximately}{%
		Haber:1970:SNA%
		}.
\NAMECITE{Approximating}{%
		Young:1956:REA%
		}.
\NAMECITE{Approximation}{%
		Mason:1956:DAC%
		}.
\NAMECITE{Approximations}{%
		Luke:1957:RAE%
		}.
\NAMECITE{Arbitrary}{%
		Frank:1958:FZA%
		}.
\NAMECITE{architecture}{%
		Valiant:2000:NAC%
		}.
\NAMECITE{Architectures}{%
		Heath:1988:PMP%
		}.
\NAMECITE{Arcs}{%
		Rosenfeld:1973:ACD%
		}.
\NAMECITE{Area}{%
		Brent:1981:ATC%
		}.
\NAMECITE{Area-Time}{%
		Brent:1981:ATC%
		}.
\NAMECITE{Area-Universal}{%
		Bay:1995:DOR%
		}.
\NAMECITE{Arguments}{%
		Kedem:1979:CDR%
		}.
\NAMECITE{Arising}{%
		Cryer:1971:TPA%
		}.
\NAMECITE{Arithmetic}{%
		Ercoli:1960:LEE%
		}.
\NAMECITE{Arithmetical}{%
		Jeffrey:1956:AAD,%
		Cordray:1957:RRP%
		}.
\NAMECITE{Arithmetics}{%
		Wadey:1960:FA%
		}.
\NAMECITE{{Armstrong}}{%
		Beeri:1984:SAR%
		}.
\NAMECITE{Arrangement}{%
		Rivest:1978:OAK%
		}.
\NAMECITE{arrangements}{%
		Agarwal:2004:LAP%
		}.
\NAMECITE{Array}{%
		Fischer:1965:GPO%
		}.
\NAMECITE{Arrays}{%
		Waite:1967:PDM%
		}.
\NAMECITE{Arrivals}{%
		Delbrouck:1970:FQS%
		}.
\NAMECITE{ary}{%
		Guibas:1978:AHT%
		}.
\NAMECITE{{ASCII}}{%
		Chu:1981:NME%
		}.
\NAMECITE{Aspects}{%
		Heller:1961:SAM%
		}.
\NAMECITE{Assembly}{%
		Schultz:1972:SMM%
		}.
\NAMECITE{Assertions}{%
		Wegbreit:1977:CSI%
		}.
\NAMECITE{Assessment}{%
		Meyer:1982:ADP%
		}.
\NAMECITE{Assign}{%
		Garcia-Molina:1985:HAV%
		}.
\NAMECITE{Assignment}{%
		Kurtzberg:1962:AMA%
		}.
\NAMECITE{Assignments}{%
		Trivedi:1980:OSC%
		}.
\NAMECITE{Associated}{%
		Dulmage:1962:MAH%
		}.
\NAMECITE{{Association}}{%
		Williams:1954:ACM%
		}.
\NAMECITE{Associative}{%
		Salton:1963:ADR%
		}.
\NAMECITE{Associative-Commutative}{%
		Stickel:1981:UAA%
		}.
\NAMECITE{Associativity}{%
		Slagle:1974:ATP%
		}.
\NAMECITE{Asymmetric}{%
		Chuzhoy:2005:ACH%
		}.
\NAMECITE{asymmetry}{%
		Vocking:2003:HAH%
		}.
\NAMECITE{Asymptotic}{%
		Blum:1961:ABB%
		}.
\NAMECITE{Asymptotically}{%
		Tootill:1973:ART%
		}.
\NAMECITE{Asymptotics}{%
		Mitra:1984:PMD%
		}.
\NAMECITE{Asynchronous}{%
		Liu:1963:SVA%
		}.
\NAMECITE{Atomic}{%
		Gyssens:1989:UAT%
		}.
\NAMECITE{Attack}{%
		Cunningham:1985:OAR%
		}.
\NAMECITE{Attenuation}{%
		Sandhu:1988:SPM%
		}.
\NAMECITE{Attribute}{%
		Jazayeri:1981:SCS%
		}.
\NAMECITE{attributes}{%
		Rodeh:1999:FCA%
		}.
\NAMECITE{auctions}{%
		Lehmann:2002:TRA%
		}.
\NAMECITE{Augmented}{%
		Kautz:1971:ACA%
		}.
\NAMECITE{Augmenting}{%
		Ghezzi:1980:APS%
		}.
\NAMECITE{authenticated}{%
		Lindell:2006:CAB%
		}.
\NAMECITE{Author}{%
		Anonymous:1958:AI%
		}.
\NAMECITE{Authoritative}{%
		Kleinberg:1999:ASH%
		}.
\NAMECITE{Autoepistemic}{%
		Marek:1991:AL%
		}.
\NAMECITE{Automata}{%
		vonNeumann:1966:TSR%
		}.
\NAMECITE{automata-theoretic}{%
		Kupferman:2000:ATA%
		}.
\NAMECITE{Automated}{%
		Guard:1969:SAM%
		}.
\NAMECITE{Automatic}{%
		Perley:1954:ASG%
		}.
\NAMECITE{Automatically}{%
		Hobby:1993:GAT%
		}.
\NAMECITE{Automating}{%
		Hickey:1988:APA%
		}.
\NAMECITE{Automaton}{%
		Weeg:1962:SAO%
		}.
\NAMECITE{Automorphism}{%
		Weeg:1965:AGD%
		}.
\NAMECITE{Automorphisms}{%
		Barnes:1965:GAS,%
		Grzymala-Busse:1969:EAP%
		}.
\NAMECITE{Availability}{%
		deSouzaeSilva:1989:CAP%
		}.
\NAMECITE{Average}{%
		Reinwald:1966:CLE%
		}.
\NAMECITE{Average-Case}{%
		Motwani:1994:AAA%
		}.
\NAMECITE{Avoidance}{%
		Minoura:1982:DAR%
		}.
\NAMECITE{Avoiding}{%
		Morishita:1997:ACP%
		}.
\NAMECITE{Axiom}{%
		Salomaa:1966:TCA%
		}.
\NAMECITE{Axiomatic}{%
		Beatty:1972:AAC%
		}.
\NAMECITE{Axiomatics}{%
		Cherniavsky:1979:CCH%
		}.
\NAMECITE{Axiomatization}{%
		Sadri:1982:TDL%
		}.
\NAMECITE{Axiomatizations}{%
		Clarke:1983:EAH%
		}.
\NAMECITE{Axiomatizing}{%
		Mendelzon:1979:AMD%
		}.
\NAMECITE{Axioms}{%
		Dixon:1973:ZRT%
		}.
\NAMECITE{{AYDAR}}{%
		Zaroodny:1958:ASP%
		}.


\NAMECITE{{B}}{%
		Ferragina:1999:SBN%
		}.
\NAMECITE{{B}-tree}{%
		Ferragina:1999:SBN%
		}.
\NAMECITE{Backing}{%
		Ben-Amram:2006:BSL%
		}.
\NAMECITE{Backlogs}{%
		Gaver:1971:ART%
		}.
\NAMECITE{Backoff}{%
		Goodman:1988:SBE%
		}.
\NAMECITE{Backtrack}{%
		Golomb:1965:BP%
		}.
\NAMECITE{Backtrack-Bounded}{%
		Freuder:1985:SCB%
		}.
\NAMECITE{Backtrack-Free}{%
		Freuder:1982:SCB%
		}.
\NAMECITE{Backtracking}{%
		Schmidt:1976:FBA%
		}.
\NAMECITE{{Backus}}{%
		Cantor:1962:APB%
		}.
\NAMECITE{bad}{%
		Roughgarden:2002:HBS%
		}.
\NAMECITE{Balance}{%
		Chandy:1977:PFL%
		}.
\NAMECITE{Balanced}{%
		Tarjan:1979:APC%
		}.
\NAMECITE{Balancing}{%
		Tantawi:1985:OSL%
		}.
\NAMECITE{Balloon}{%
		Ginsburg:1970:TWB%
		}.
\NAMECITE{Ballot}{%
		Rotem:1978:GBT%
		}.
\NAMECITE{Banded}{%
		Rodrigue:1979:OER%
		}.
\NAMECITE{Bank}{%
		Flores:1964:DWT%
		}.
\NAMECITE{barrier}{%
		Goldberg:1998:BFD%
		}.
\NAMECITE{Base}{%
		Kanner:1965:NBC%
		}.
\NAMECITE{Based}{%
		Eldred:1959:TRB,%
		Halpern:1992:LKG%
		}.
\NAMECITE{Bases}{%
		Baader:1993:UCT%
		}.
\NAMECITE{Basic}{%
		Curtis:1963:GTC%
		}.
\NAMECITE{Basis}{%
		Galil:1982:ALT%
		}.
\NAMECITE{Batch}{%
		Delbrouck:1970:FQS%
		}.
\NAMECITE{Batched}{%
		Hwang:1977:OBS%
		}.
\NAMECITE{{Bateman}}{%
		Thompson:1957:BMS%
		}.
\NAMECITE{{Bayesian}}{%
		Santos:1996:LPF%
		}.
\NAMECITE{Be}{%
		Kung:1978:AAF,%
		Weiss:1966:VPI%
		}.
\NAMECITE{Becoming}{%
		Halpern:1997:BEC%
		}.
\NAMECITE{been}{%
		Shor:2003:WHM%
		}.
\NAMECITE{Beginning}{%
		Panwar:1988:OSP%
		}.
\NAMECITE{beginnings}{%
		Alt:2003:JAB%
		}.
\NAMECITE{Behavior}{%
		Blum:1961:ABB%
		}.
\NAMECITE{Behavioral}{%
		Pierce:2000:BEP%
		}.
\NAMECITE{Bending}{%
		Wasel:1954:MDP%
		}.
\NAMECITE{Benefit}{%
		Srinivasan:1973:BCA%
		}.
\NAMECITE{Benefit-Cost}{%
		Srinivasan:1973:BCA%
		}.
\NAMECITE{benefits}{%
		Alur:1996:BRP%
		}.
\NAMECITE{{Bernard}}{%
		Dwork:2003:MFM%
		}.
\NAMECITE{{Bernouilli}}{%
		Jenkins:1973:BMI%
		}.
\NAMECITE{{Bernoulli}}{%
		Bauer:1958:MMI%
		}.
\NAMECITE{{Bernstein}}{%
		Gordon:1974:BBM%
		}.
\NAMECITE{{Bernstein-B\'ezier}}{%
		Gordon:1974:BBM%
		}.
\NAMECITE{{Bessel}}{%
		Witte:1958:EII%
		}.
\NAMECITE{Best}{%
		Goldstein:1957:BLA%
		}.
\NAMECITE{Best-First}{%
		Dechter:1985:GBF%
		}.
\NAMECITE{Better}{%
		Blake:1977:BBB%
		}.
\NAMECITE{Between}{%
		Lewis:1967:SDS%
		}.
\NAMECITE{Beyond}{%
		Clenshaw:1984:BFP%
		}.
\NAMECITE{{B\'ezier}}{%
		Gordon:1974:BBM%
		}.
\NAMECITE{Bias}{%
		Feldman:1981:MBF%
		}.
\NAMECITE{{Bibel}}{%
		Siekmann:2001:ECW%
		}.
\NAMECITE{Bibliographic}{%
		Salton:1963:ADR%
		}.
\NAMECITE{Bibliography}{%
		Householder:1956:BNA%
		}.
\NAMECITE{Biconnectivity}{%
		Khuller:1994:BAG%
		}.
\NAMECITE{bidirected}{%
		Mohring:1997:MRB%
		}.
\NAMECITE{Bidirectional}{%
		Orden:1968:BSA%
		}.
\NAMECITE{{Bierstone}}{%
		Mulligan:1972:CBA%
		}.
\NAMECITE{Big}{%
		Blake:1977:BBB%
		}.
\NAMECITE{Biharmonic}{%
		Parter:1961:SCR%
		}.
\NAMECITE{Bilinear}{%
		JaJa:1980:CBF%
		}.
\NAMECITE{bill}{%
		Halpern:2000:EBR%
		}.
\NAMECITE{Billing}{%
		Wiseman:1954:LIP%
		}.
\NAMECITE{Bills}{%
		Salton:1960:NMP%
		}.
\NAMECITE{Bin}{%
		Yao:1980:NAB%
		}.
\NAMECITE{Bin-Packing}{%
		Lee:1985:SLB%
		}.
\NAMECITE{Binary}{%
		Parsons:1955:SDC%
		}.
\NAMECITE{Binomial}{%
		Weintraub:1962:CBP%
		}.
\NAMECITE{Binomial-Weighted}{%
		Young:1967:BWO%
		}.
\NAMECITE{Bipartite}{%
		Itai:1978:SMP%
		}.
\NAMECITE{Bisection}{%
		Wilf:1978:GBA%
		}.
\NAMECITE{bisimilarity}{%
		Jancar:2008:UBD%
		}.
\NAMECITE{Bisimulation}{%
		Baeten:1993:DBE%
		}.
\NAMECITE{Bisimulations}{%
		Castellani:1989:DB%
		}.
\NAMECITE{Bistable}{%
		Pulvari:1955:DCR%
		}.
\NAMECITE{bit}{%
		Myers:1999:FBA%
		}.
\NAMECITE{bit-vector}{%
		Myers:1999:FBA%
		}.
\NAMECITE{Bitmaps}{%
		Hobby:1993:GAT%
		}.
\NAMECITE{bits}{%
		Haastad:2004:SAR%
		}.
\NAMECITE{Black}{%
		Klawe:1985:TBB%
		}.
\NAMECITE{Blank}{%
		Elgot:1964:RMA%
		}.
\NAMECITE{Block}{%
		Cuthill:1959:MNB%
		}.
\NAMECITE{Blocking}{%
		Konheim:1976:QMF%
		}.
\NAMECITE{Bodies}{%
		Dyer:1991:RPT%
		}.
\NAMECITE{Body}{%
		Callahan:1995:DMP%
		}.
\NAMECITE{{{\boldmath}}}{%
		Dey:1998:CHG%
		}.
\NAMECITE{Book}{%
		Hamming:1956:BRa%
		}.
\NAMECITE{boolean}{%
		Lee:2002:FCF,%
		Hirschhorn:1958:SCB%
		}.
\NAMECITE{Boosting}{%
		Ferragina:2005:BTC%
		}.
\NAMECITE{Both}{%
		Krishnamoorthi:1966:TSO%
		}.
\NAMECITE{Bottleneck}{%
		Garfinkel:1978:BTS%
		}.
\NAMECITE{Bound}{%
		Anders:1965:EBN%
		}.
\NAMECITE{Boundary}{%
		Bergman:1954:MSB%
		}.
\NAMECITE{Boundary-Value}{%
		Wasserstrom:1971:SBV%
		}.
\NAMECITE{Bounded}{%
		Hopcroft:1969:SRT%
		}.
\NAMECITE{bounded-genus}{%
		Demaine:2005:SPA%
		}.
\NAMECITE{Bounding}{%
		Hoover:1984:BFL%
		}.
\NAMECITE{Bounds}{%
		Carr:1958:EBR%
		}.
\NAMECITE{box}{%
		Zhou:1999:ABB%
		}.
\NAMECITE{Bracketed}{%
		Santos:1972:NBG%
		}.
\NAMECITE{Branch}{%
		Kohler:1974:CTC%
		}.
\NAMECITE{Branch-and-Bound}{%
		Kohler:1974:CTC%
		}.
\NAMECITE{Branching}{%
		Emerson:1986:SNN%
		}.
\NAMECITE{branching-time}{%
		Kupferman:2000:ATA%
		}.
\NAMECITE{break}{%
		Baker:1979:CMB%
		}.
\NAMECITE{breaking}{%
		Demetrescu:2005:TOF%
		}.
\NAMECITE{Bridge}{%
		Berlekamp:1963:PDD%
		}.
\NAMECITE{bridging}{%
		Zwick:2002:APS%
		}.
\NAMECITE{Broadcast}{%
		Fayolle:1977:SOC%
		}.
\NAMECITE{Bucket}{%
		Trainiter:1963:ARA%
		}.
\NAMECITE{Buckets}{%
		Blake:1977:BBB%
		}.
\NAMECITE{Buddy}{%
		Purdom:1970:SPB%
		}.
\NAMECITE{Buffer}{%
		Gaver:1971:PMB%
		}.
\NAMECITE{Buffering}{%
		Mock:1959:SSP%
		}.
\NAMECITE{buffers}{%
		Broder:2001:GAD%
		}.
\NAMECITE{Building}{%
		Curtis:1963:GTC%
		}.
\NAMECITE{Built}{%
		Slagle:1972:ATP%
		}.
\NAMECITE{Built-in}{%
		Slagle:1972:ATP%
		}.
\NAMECITE{Bulk}{%
		Delbrouck:1970:FQS%
		}.
\NAMECITE{Bureau}{%
		Meyers:1965:MCN%
		}.
\NAMECITE{{Burroughs}}{%
		Miehle:1957:BTF%
		}.
\NAMECITE{{Burrows}}{%
		Manzini:2001:ABW%
		}.
\NAMECITE{Bursts}{%
		Dass:1975:SBC%
		}.
\NAMECITE{Business}{%
		Philippatos:1971:ECI%
		}.
\NAMECITE{Busy}{%
		Bhat:1971:BPA%
		}.
\NAMECITE{butterfly}{%
		Bhatt:1996:OEB%
		}.
\NAMECITE{butterfly-like}{%
		Bhatt:1996:OEB%
		}.
\NAMECITE{{Byzantine}}{%
		Lamport:1983:WBG%
		}.


\NAMECITE{C}{%
		Anonymous:1998:MPC,%
		Omahen:1978:AAD%
		}.
\NAMECITE{cabbage}{%
		Hannenhalli:1999:TCT%
		}.
\NAMECITE{Cache}{%
		Rao:1978:PAC%
		}.
\NAMECITE{cache-efficient}{%
		Sen:2002:TTC%
		}.
\NAMECITE{{\cal}}{%
		Fleck:1972:SSA%
		}.
\NAMECITE{Calculating}{%
		Lebedev:1956:HSE%
		}.
\NAMECITE{Calculation}{%
		Atta:1954:CGH%
		}.
\NAMECITE{Calculations}{%
		Stockmal:1964:CPR%
		}.
\NAMECITE{Calculator}{%
		Hamilton:1954:IMD%
		}.
\NAMECITE{calculi}{%
		Curien:1996:CPW%
		}.
\NAMECITE{Calculus}{%
		Fraenkel:1961:UIC%
		}.
\NAMECITE{Call}{%
		Sethi:1980:CCV%
		}.
\NAMECITE{Call-by-value}{%
		Sethi:1980:CCV%
		}.
\NAMECITE{Calls}{%
		Arbib:1982:PCE%
		}.
\NAMECITE{Can}{%
		Edwards:1964:CPP%
		}.
\NAMECITE{Canceling}{%
		Goldberg:1989:FMC%
		}.
\NAMECITE{candidates}{%
		Conitzer:2007:WEF%
		}.
\NAMECITE{Cannot}{%
		Pitt:1993:MCD%
		}.
\NAMECITE{Canonical}{%
		Curtis:1959:FCF%
		}.
\NAMECITE{Can't}{%
		Bloom:1995:BCB%
		}.
\NAMECITE{Capabilities}{%
		Trainiter:1963:ARA%
		}.
\NAMECITE{Capability}{%
		Willard:1985:ARR%
		}.
\NAMECITE{Capacitated}{%
		Gavish:1983:FAC%
		}.
\NAMECITE{Capacities}{%
		Trivedi:1980:OSC%
		}.
\NAMECITE{Capacity}{%
		Sackman:1964:ICO%
		}.
\NAMECITE{Card}{%
		Bergman:1954:MSB%
		}.
\NAMECITE{Card-Program}{%
		Titus:1955:GCP%
		}.
\NAMECITE{Cards}{%
		Perley:1954:ASG%
		}.
\NAMECITE{Care}{%
		Chu:1961:SMS%
		}.
\NAMECITE{{Carlo}}{%
		Hammersley:1956:CMC%
		}.
\NAMECITE{{Carnap}}{%
		Gottlob:1995:NTC%
		}.
\NAMECITE{Carrier}{%
		Tobagi:1982:DPD%
		}.
\NAMECITE{{Carroll}}{%
		Hemaspaandra:1997:EAD%
		}.
\NAMECITE{Carrying}{%
		Blikle:1972:AUC%
		}.
\NAMECITE{{Cartesian}}{%
		Morishita:1997:ACP%
		}.
\NAMECITE{Carvings}{%
		Khuller:1994:BAG%
		}.
\NAMECITE{Cascade}{%
		Yoeli:1965:GCD%
		}.
\NAMECITE{Case}{%
		Friedman:1963:CPS%
		}.
\NAMECITE{{Cash}}{%
		Bui:1977:ECP%
		}.
\NAMECITE{Catastrophe}{%
		Nelson:1987:SCT%
		}.
\NAMECITE{Categories}{%
		Anonymous:1968:CJA%
		}.
\NAMECITE{Categorizing}{%
		Lee:1961:CAW%
		}.
\NAMECITE{Catenation}{%
		Driscoll:1994:FPL%
		}.
\NAMECITE{{Cayley}}{%
		Larson:1976:ECC%
		}.
\NAMECITE{Cell}{%
		Wolman:1965:FOC%
		}.
\NAMECITE{Cell-Size}{%
		Wolman:1965:FOC%
		}.
\NAMECITE{Cellular}{%
		Burks:1970:ECA%
		}.
\NAMECITE{center}{%
		Chuzhoy:2005:ACH%
		}.
\NAMECITE{Centers}{%
		Gurk:1970:SRI%
		}.
\NAMECITE{Centext}{%
		Lengauer:1993:EDP%
		}.
\NAMECITE{Centext-Free}{%
		Lengauer:1993:EDP%
		}.
\NAMECITE{Central}{%
		Menon:1965:PCC%
		}.
\NAMECITE{Centrality}{%
		Rosenthal:1989:GAC%
		}.
\NAMECITE{century}{%
		Brooks:2003:TGC%
		}.
\NAMECITE{Certain}{%
		Lehmer:1957:CNS%
		}.
\NAMECITE{Chain}{%
		Hofri:1984:AIS%
		}.
\NAMECITE{Chained}{%
		Stanfel:1972:PAD%
		}.
\NAMECITE{chaining}{%
		Bachmair:1998:OCC%
		}.
\NAMECITE{Chains}{%
		Crane:1974:SSSb%
		}.
\NAMECITE{challenge}{%
		Hoare:2003:VCG%
		}.
\NAMECITE{challenges}{%
		Brooks:2003:TGC%
		}.
\NAMECITE{Change}{%
		Chang:1970:ASC%
		}.
\NAMECITE{Change-Making}{%
		Chang:1970:ASC%
		}.
\NAMECITE{Changing}{%
		Stein:1960:CAD%
		}.
\NAMECITE{Channel}{%
		Fayolle:1977:SOC%
		}.
\NAMECITE{Channels}{%
		Greenberg:1985:LBT%
		}.
\NAMECITE{Chaotic}{%
		Lubachevsky:1986:CAA%
		}.
\NAMECITE{Character}{%
		Edwards:1964:CPP%
		}.
\NAMECITE{Characteristic}{%
		Downing:1956:SIC%
		}.
\NAMECITE{Characteristics}{%
		Krogh:1966:PCM%
		}.
\NAMECITE{Characterization}{%
		Harrison:1971:GCO%
		}.
\NAMECITE{Characterizations}{%
		Cook:1971:CPM%
		}.
\NAMECITE{Characterizing}{%
		Smith:1979:CSP%
		}.
\NAMECITE{Chart}{%
		Scott:1958:APF%
		}.
\NAMECITE{{Charting}}{%
		Gottlob:2004:ESO%
		}.
\NAMECITE{Charts}{%
		Bruno:1972:EAC%
		}.
\NAMECITE{Cheating}{%
		Rabin:1994:RSS%
		}.
\NAMECITE{{Chebycheff}}{%
		Spitzbart:1958:CFC%
		}.
\NAMECITE{{Chebyshev}}{%
		Shenitzer:1957:CAC%
		}.
\NAMECITE{Check}{%
		Blum:1995:DPC%
		}.
\NAMECITE{Checker}{%
		deChampeaux:1986:SFI%
		}.
\NAMECITE{Checking}{%
		Parsons:1955:SDC%
		}.
\NAMECITE{Checkpoint}{%
		Gelenbe:1979:OCI%
		}.
\NAMECITE{Chemistry}{%
		Williams:1957:CFE%
		}.
\NAMECITE{{Chervonenkis}}{%
		Blumer:1989:LVC%
		}.
\NAMECITE{Chess}{%
		Kister:1957:EC%
		}.
\NAMECITE{chief}{%
		Staff:2003:JEC,%
		Halpern:1997:BEC%
		}.
\NAMECITE{{Chinese}}{%
		Li:1959:ODC%
		}.
\NAMECITE{Choice}{%
		Dixon:1965:COS%
		}.
\NAMECITE{{Chow}}{%
		Winder:1971:CPT%
		}.
\NAMECITE{Chromatic}{%
		Wang:1974:ACN%
		}.
\NAMECITE{{Church}}{%
		Rosen:1973:TMS%
		}.
\NAMECITE{{Church-Rosser}}{%
		Rosen:1973:TMS%
		}.
\NAMECITE{Circle}{%
		Gabor:1989:RCG%
		}.
\NAMECITE{circles}{%
		Agarwal:2004:LAP%
		}.
\NAMECITE{Circuit}{%
		Curtis:1961:GTC%
		}.
\NAMECITE{Circuitry}{%
		Ishii:1997:OTP%
		}.
\NAMECITE{Circuits}{%
		Leichner:1957:DCC%
		}.
\NAMECITE{Circular}{%
		Witte:1958:EII%
		}.
\NAMECITE{Circularity}{%
		Jazayeri:1981:SCS%
		}.
\NAMECITE{Circulation}{%
		Rose:1971:NCO%
		}.
\NAMECITE{Circulations}{%
		Goldberg:1989:FMC%
		}.
\NAMECITE{Circumscription}{%
		Kolaitis:1990:SCA%
		}.
\NAMECITE{{Clairvoyance}}{%
		Kalyanasundaram:2000:SPC%
		}.
\NAMECITE{Clamped}{%
		Abramowitz:1955:VSC%
		}.
\NAMECITE{Class}{%
		Shenitzer:1957:CAC%
		}.
\NAMECITE{Classes}{%
		Hibbard:1961:LUB%
		}.
\NAMECITE{Classical}{%
		Gerberich:1957:CCM%
		}.
\NAMECITE{Classification}{%
		Borko:1963:ADC%
		}.
\NAMECITE{Clauses}{%
		Lewis:1978:RSC%
		}.
\NAMECITE{clearing}{%
		Blum:2006:OAM%
		}.
\NAMECITE{Clique}{%
		Wegener:1988:CBP%
		}.
\NAMECITE{Cliques}{%
		Mulligan:1972:CBA%
		}.
\NAMECITE{Clock}{%
		Srikanth:1987:OCS%
		}.
\NAMECITE{Clocked}{%
		Ishii:1997:OTP%
		}.
\NAMECITE{Clocks}{%
		Lamport:1985:SCP%
		}.
\NAMECITE{Closed}{%
		Goodman:1958:COL%
		}.
\NAMECITE{closest}{%
		Li:2002:CSS%
		}.
\NAMECITE{Closure}{%
		Reiter:1980:EDC%
		}.
\NAMECITE{Closures}{%
		Gray:1955:PTE%
		}.
\NAMECITE{Cluster}{%
		Augustson:1970:ASG%
		}.
\NAMECITE{Clustered}{%
		Toyoda:1966:AAA%
		}.
\NAMECITE{Clustering}{%
		Gotlieb:1968:SCI%
		}.
\NAMECITE{clusterings}{%
		Kannan:2004:CGB%
		}.
\NAMECITE{Clusters}{%
		Moursund:1965:EMR%
		}.
\NAMECITE{Coalesced}{%
		Vitter:1983:ASP%
		}.
\NAMECITE{Coarse}{%
		Cosnard:1994:OAP%
		}.
\NAMECITE{Coarse-Grained}{%
		Cosnard:1994:OAP%
		}.
\NAMECITE{Code}{%
		Davis:1954:MPO%
		}.
\NAMECITE{Coded}{%
		Morrison:1968:PPA%
		}.
\NAMECITE{Codes}{%
		Gerberich:1957:CCM%
		}.
\NAMECITE{Coding}{%
		Hume:1955:TSA%
		}.
\NAMECITE{coefficient}{%
		Burgisser:2004:LBB%
		}.
\NAMECITE{Coefficients}{%
		McClellan:1973:ESS%
		}.
\NAMECITE{cognitive}{%
		Valiant:2000:NAC%
		}.
\NAMECITE{coherence}{%
		Pong:1998:FVC%
		}.
\NAMECITE{Coin}{%
		Chang:1976:CCC%
		}.
\NAMECITE{coin-flipping}{%
		Aspnes:1998:LBD%
		}.
\NAMECITE{Collapsing}{%
		Ko:1990:SCR%
		}.
\NAMECITE{Collections}{%
		Lipton:1980:EHS%
		}.
\NAMECITE{collision}{%
		Aaronson:2004:QLB%
		}.
\NAMECITE{Color}{%
		Alon:1995:C%
		}.
\NAMECITE{Color-Coding}{%
		Alon:1995:C%
		}.
\NAMECITE{Coloring}{%
		Garey:1976:CNO%
		}.
\NAMECITE{Combination}{%
		Westlake:1967:URN%
		}.
\NAMECITE{Combinational}{%
		Richards:1973:EESb%
		}.
\NAMECITE{Combinations}{%
		Witte:1958:EII%
		}.
\NAMECITE{Combinatorial}{%
		Hibbard:1962:SCP%
		}.
\NAMECITE{Combinatorics}{%
		Grimson:1986:CLC%
		}.
\NAMECITE{Combined}{%
		Wiseman:1954:LIP%
		}.
\NAMECITE{Combining}{%
		Kedem:1979:CDR%
		}.
\NAMECITE{Commands}{%
		Downey:1978:ACA%
		}.
\NAMECITE{Comments}{%
		Wilkinson:1971:SCN%
		}.
\NAMECITE{Commodity}{%
		Itai:1978:TCF%
		}.
\NAMECITE{Common}{%
		Morris:1968:CSM%
		}.
\NAMECITE{Communicating}{%
		Apt:1983:FJP%
		}.
\NAMECITE{Communication}{%
		Maekawa:1977:QMC%
		}.
\NAMECITE{Commutative}{%
		Stickel:1981:UAA%
		}.
\NAMECITE{Commutativity}{%
		Slagle:1974:ATP%
		}.
\NAMECITE{Compact}{%
		Thorup:2004:COR%
		}.
\NAMECITE{Compactly}{%
		Ajtai:2002:CEU%
		}.
\NAMECITE{Comparative}{%
		Bagchi:1983:SAU%
		}.
\NAMECITE{Comparing}{%
		Alt:1988:CCC%
		}.
\NAMECITE{Comparison}{%
		Muller:1959:CMG%
		}.
\NAMECITE{Comparisons}{%
		Yen:1972:FLA%
		}.
\NAMECITE{Compatibility}{%
		Ginsburg:1961:CSI%
		}.
\NAMECITE{competitive}{%
		Bartal:2000:HKS%
		}.
\NAMECITE{Compilation}{%
		Floyd:1982:CRE%
		}.
\NAMECITE{Compiled}{%
		Gelernter:1960:FCL%
		}.
\NAMECITE{Compiler}{%
		Mock:1956:LOP%
		}.
\NAMECITE{Compiling}{%
		Peterka:1962:MOS%
		}.
\NAMECITE{Compiling-Parameter}{%
		Peterka:1962:MOS%
		}.
\NAMECITE{Complementation}{%
		Reif:1984:SC%
		}.
\NAMECITE{Complementedness}{%
		Hibbard:1966:IIA%
		}.
\NAMECITE{Complements}{%
		Ehrenfeucht:1981:MRC%
		}.
\NAMECITE{Complete}{%
		Salomaa:1966:TCA%
		}.
\NAMECITE{Completely}{%
		Haber:1970:SNA%
		}.
\NAMECITE{Completeness}{%
		Wos:1965:ECS%
		}.
\NAMECITE{Completion}{%
		Goodman:1975:AHC%
		}.
\NAMECITE{Complex}{%
		Ben-Israel:1963:EMC%
		}.
\NAMECITE{Complexes}{%
		Gross:1979:LTP%
		}.
\NAMECITE{Complexities}{%
		Hopcroft:1968:RBT%
		}.
\NAMECITE{Complexity}{%
		Markov:1958:ICS%
		}.
\NAMECITE{compliance}{%
		Li:2005:BPC%
		}.
\NAMECITE{Component}{%
		Samet:1981:CCL%
		}.
\NAMECITE{Components}{%
		Natapoff:1967:ITC%
		}.
\NAMECITE{Composite}{%
		Ralston:1959:FQF%
		}.
\NAMECITE{Composition}{%
		Wegner:1969:TNF%
		}.
\NAMECITE{Compositional}{%
		Broy:1997:CRI%
		}.
\NAMECITE{Compound}{%
		vonHoldt:1962:ITD%
		}.
\NAMECITE{comprehensive}{%
		Joung:1996:CSC%
		}.
\NAMECITE{compressed}{%
		Ferragina:2005:ICT%
		}.
\NAMECITE{Compression}{%
		Korolev:1958:CCC%
		}.
\NAMECITE{Compromise}{%
		Kritzinger:1974:TTC%
		}.
\NAMECITE{Computability}{%
		Shepherdson:1963:CRF%
		}.
\NAMECITE{Computable}{%
		Chartres:1967:CEB%
		}.
\NAMECITE{Computation}{%
		Macon:1955:CEH%
		}.
\NAMECITE{Computation-Universal}{%
		Smith:1971:SCU%
		}.
\NAMECITE{Computational}{%
		Prather:1960:CAD,%
		Borodin:1972:CCC%
		}.
\NAMECITE{Computations}{%
		Weil:1955:RRM%
		}.
\NAMECITE{Compute}{%
		Cotten:1974:PTS%
		}.
\NAMECITE{Computed}{%
		Kung:1978:AAF%
		}.
\NAMECITE{Computer}{%
		Neumann:1954:SODa%
		}.
\NAMECITE{Computer-Aided}{%
		Brown:1969:MSC%
		}.
\NAMECITE{Computer-Feasible}{%
		Walsh:1961:CFM%
		}.
\NAMECITE{Computers}{%
		Jacobs:1954:ERA%
		}.
\NAMECITE{Concave}{%
		Eppstein:1992:SDPb%
		}.
\NAMECITE{Concavity}{%
		Dallery:1994:ERS%
		}.
\NAMECITE{Concept}{%
		Wos:1967:CDT%
		}.
\NAMECITE{concepts}{%
		Bshouty:1998:NDL%
		}.
\NAMECITE{Concerning}{%
		Pope:1957:MFR%
		}.
\NAMECITE{Conclusions}{%
		Greenwald:1956:CAU%
		}.
\NAMECITE{Concurrency}{%
		Papadimitriou:1982:TDC%
		}.
\NAMECITE{Concurrent}{%
		Milne:1979:CPT%
		}.
\NAMECITE{Condensation}{%
		Macon:1957:CLP%
		}.
\NAMECITE{Condensers}{%
		Pulvari:1955:DCR%
		}.
\NAMECITE{Condition}{%
		Esch:1960:NSC%
		}.
\NAMECITE{Conditional}{%
		Hammersley:1956:CMC%
		}.
\NAMECITE{Conditioning}{%
		Osborne:1960:PCM%
		}.
\NAMECITE{Conditions}{%
		Conte:1960:ADM%
		}.
\NAMECITE{Conference}{%
		Anonymous:1957:CMC%
		}.
\NAMECITE{Configuration}{%
		Kafura:1978:ADM%
		}.
\NAMECITE{Configurations}{%
		Ehrlich:1973:LAG%
		}.
\NAMECITE{confinement}{%
		Banerjee:2005:OCE%
		}.
\NAMECITE{Conflict}{%
		Landweber:1978:PCF%
		}.
\NAMECITE{Conflict-Free}{%
		Landweber:1978:PCF%
		}.
\NAMECITE{Conflicts}{%
		Baker:1985:ARC%
		}.
\NAMECITE{Confluence}{%
		Curien:1996:CPW%
		}.
\NAMECITE{Confluent}{%
		Huet:1980:CRA%
		}.
\NAMECITE{Conformal}{%
		Rabinowitz:1966:NEC%
		}.
\NAMECITE{congestion}{%
		Chuzhoy:2006:NHR%
		}.
\NAMECITE{Congruence}{%
		Nelson:1980:FDP%
		}.
\NAMECITE{Congruences}{%
		Lehmer:1957:CNS%
		}.
\NAMECITE{Congruential}{%
		Allard:1963:MCR%
		}.
\NAMECITE{Conjecture}{%
		Wasilkowski:1981:ECM%
		}.
\NAMECITE{Conjunctive}{%
		Klug:1988:CQC%
		}.
\NAMECITE{Connected}{%
		Maekawa:1977:QMC%
		}.
\NAMECITE{Connected-Component}{%
		Dillencourt:1992:GAC%
		}.
\NAMECITE{Connecting}{%
		Loberman:1957:FPC%
		}.
\NAMECITE{Connection}{%
		Kowalski:1975:PPU%
		}.
\NAMECITE{Connection-Graph}{%
		Bibel:1997:DTR%
		}.
\NAMECITE{Connections}{%
		Weinberger:1957:SDE%
		}.
\NAMECITE{Connective}{%
		Ginsburg:1960:CPP%
		}.
\NAMECITE{Connectivity}{%
		Ramamoorthy:1966:AGC%
		}.
\NAMECITE{{coNP}}{%
		Aharonov:2005:LPN%
		}.
\NAMECITE{conquer}{%
		Even:2000:DCA%
		}.
\NAMECITE{Consecutive}{%
		Gupta:1979:BSC%
		}.
\NAMECITE{Consensus}{%
		Fischer:1985:IDC%
		}.
\NAMECITE{Conservative}{%
		Nicol:1993:CCS%
		}.
\NAMECITE{Considerations}{%
		Ramamoorthy:1966:AGC%
		}.
\NAMECITE{Consistency}{%
		Marimont:1959:NMC%
		}.
\NAMECITE{Consistent}{%
		Rose:1971:NCO%
		}.
\NAMECITE{Constant}{%
		Benschop:1971:MSE%
		}.
\NAMECITE{Constant-Service}{%
		Hofri:1984:AIS%
		}.
\NAMECITE{Constant-Time}{%
		Chor:1989:SCT%
		}.
\NAMECITE{Constants}{%
		Dubey:1966:SDC%
		}.
\NAMECITE{Constrained}{%
		Glass:1965:SSM%
		}.
\NAMECITE{Constraint}{%
		Easton:1975:ECC%
		}.
\NAMECITE{Constraints}{%
		Shrager:1970:NRL%
		}.
\NAMECITE{Construct}{%
		Rem:1981:CSP%
		}.
\NAMECITE{Constructing}{%
		Klee:1967:MCC%
		}.
\NAMECITE{Construction}{%
		Campbell:1961:NCT,%
		Keller:1973:PPSb%
		}.
\NAMECITE{Constructions}{%
		Willis:1970:CCP%
		}.
\NAMECITE{Constructs}{%
		Clark:1979:PLC%
		}.
\NAMECITE{Containing}{%
		Klug:1988:CQC%
		}.
\NAMECITE{Containment}{%
		Hunt:1977:ECP%
		}.
\NAMECITE{Content}{%
		Minsky:1970:FCC%
		}.
\NAMECITE{Content-Addressed}{%
		Kautz:1971:ACA%
		}.
\NAMECITE{Contention}{%
		Dwork:1997:CSM%
		}.
\NAMECITE{contention-resolution}{%
		Andrews:2001:USR%
		}.
\NAMECITE{Context}{%
		Gorn:1963:DGA%
		}.
\NAMECITE{Context-Free}{%
		Gorn:1963:DGA%
		}.
\NAMECITE{Context-Limited}{%
		Hibbard:1974:CLG%
		}.
\NAMECITE{contig}{%
		Huson:2002:GPM%
		}.
\NAMECITE{Continuation}{%
		Wand:1980:CBP%
		}.
\NAMECITE{Continuation-Based}{%
		Wand:1980:CBP%
		}.
\NAMECITE{Continued}{%
		Macon:1955:CEH%
		}.
\NAMECITE{Continuous}{%
		Shenitzer:1957:CAC%
		}.
\NAMECITE{Contour}{%
		Morse:1968:MMA%
		}.
\NAMECITE{Contour-Line}{%
		Morse:1968:MMA%
		}.
\NAMECITE{Contours}{%
		Mason:1956:DAC%
		}.
\NAMECITE{Contraction}{%
		Milnes:1959:BCS%
		}.
\NAMECITE{Contributions}{%
		Anonymous:1968:CJA%
		}.
\NAMECITE{Control}{%
		Moshos:1955:AIA,%
		Parchmann:1980:CCS%
		}.
\NAMECITE{Controllability}{%
		Mowle:1970:CNS%
		}.
\NAMECITE{Controlled}{%
		Chartres:1966:ACP%
		}.
\NAMECITE{Controls}{%
		Iglehart:1979:RSI%
		}.
\NAMECITE{Convergence}{%
		Stark:1956:RCN%
		}.
\NAMECITE{Convergent}{%
		Moore:1967:CAS%
		}.
\NAMECITE{Conversational}{%
		Irani:1971:NLC%
		}.
\NAMECITE{Conversion}{%
		Kanner:1965:NBC%
		}.
\NAMECITE{Convex}{%
		Chand:1970:ACP,%
		Eppstein:1992:SDPb%
		}.
\NAMECITE{Convexity}{%
		Inselberg:1987:CAP%
		}.
\NAMECITE{convey}{%
		Nayak:2006:LAQ%
		}.
\NAMECITE{Convolution}{%
		Trauboth:1969:RFE%
		}.
\NAMECITE{Cooperating}{%
		deChampeaux:1986:SFI%
		}.
\NAMECITE{Cooperative}{%
		Melahn:1956:DCV%
		}.
\NAMECITE{Coordinates}{%
		Inselberg:1987:CAP%
		}.
\NAMECITE{Copy}{%
		vanKreveld:1993:UCS%
		}.
\NAMECITE{Core}{%
		Even:1985:HCT%
		}.
\NAMECITE{Cores}{%
		Book:1987:EDG%
		}.
\NAMECITE{Corners}{%
		Laasonen:1958:TED%
		}.
\NAMECITE{Correct}{%
		Good:1970:CIA%
		}.
\NAMECITE{Correcting}{%
		Dass:1975:SBC%
		}.
\NAMECITE{Correction}{%
		Estrin:1962:CA%
		}.
\NAMECITE{Corrections}{%
		Mulligan:1972:CBA%
		}.
\NAMECITE{Correctness}{%
		Kowaltowski:1979:DSC%
		}.
\NAMECITE{Corrector}{%
		Hamming:1959:SPC%
		}.
\NAMECITE{Correctors}{%
		Kohfeld:1967:MMM%
		}.
\NAMECITE{Correlated}{%
		Fishman:1979:EMC%
		}.
\NAMECITE{Correlation}{%
		Haneman:1955:CCA%
		}.
\NAMECITE{Correspondence}{%
		Hunt:1984:TTM%
		}.
\NAMECITE{Corrigenda}{%
		Mileto:1966:CSC%
		}.
\NAMECITE{Corrigendum}{%
		Gauss:1960:CCM%
		}.
\NAMECITE{Cosine}{%
		Dubner:1968:NIL%
		}.
\NAMECITE{Cosmological}{%
		Stockmeyer:2002:CLB%
		}.
\NAMECITE{Cost}{%
		Slagle:1964:EAF,%
		Chien:1995:PRL%
		}.
\NAMECITE{Cost-Error}{%
		Davis:1990:CER%
		}.
\NAMECITE{Costs}{%
		Cody:1976:RAM%
		}.
\NAMECITE{Count}{%
		Alexander:1971:BCD%
		}.
\NAMECITE{Countable}{%
		Apt:1986:CNR%
		}.
\NAMECITE{Counter}{%
		Gurari:1982:TWC%
		}.
\NAMECITE{Counter-Example}{%
		Dill:1989:CES%
		}.
\NAMECITE{Counterexample}{%
		Rathmann:1994:CHS%
		}.
\NAMECITE{Counterexample-guided}{%
		Clarke:2003:CGA%
		}.
\NAMECITE{Counterexamples}{%
		Winker:1982:GVF%
		}.
\NAMECITE{Counters}{%
		Young:1958:ASR%
		}.
\NAMECITE{Counting}{%
		Fussenegger:1979:CAL%
		}.
\NAMECITE{Coupling}{%
		Ramakrishnan:1980:STC%
		}.
\NAMECITE{Covariance}{%
		Pagano:1976:LCC%
		}.
\NAMECITE{Cover}{%
		Batni:1974:EAF%
		}.
\NAMECITE{Covering}{%
		Breuer:1970:SCP%
		}.
\NAMECITE{Coverings}{%
		Natapoff:1967:ITC%
		}.
\NAMECITE{Covers}{%
		Maier:1980:MCR%
		}.
\NAMECITE{{CPU}}{%
		Bhat:1979:ECE%
		}.
\NAMECITE{crash}{%
		Varghese:2000:FSC%
		}.
\NAMECITE{Crashes}{%
		Fekete:1993:IIR%
		}.
\NAMECITE{{CRCW}}{%
		Beame:1989:OBD%
		}.
\NAMECITE{Creating}{%
		VandenBussche:1997:COC%
		}.
\NAMECITE{Credit}{%
		Salton:1960:NMP%
		}.
\NAMECITE{criteria}{%
		Brafman:2000:ATT%
		}.
\NAMECITE{Criterion}{%
		Spitzbart:1958:CFC%
		}.
\NAMECITE{Critical}{%
		Lloyd:1982:CPS%
		}.
\NAMECITE{Critically}{%
		Parchmann:1979:CSM%
		}.
\NAMECITE{{Crout}}{%
		Gustavson:1970:SGO%
		}.
\NAMECITE{Cryptographic}{%
		Kearns:1994:CLL%
		}.
\NAMECITE{cryptography}{%
		Mayers:2001:USQ%
		}.
\NAMECITE{{CS}}{%
		McCarthy:2003:PPC%
		}.
\NAMECITE{Cumulative}{%
		Weintraub:1962:CBP%
		}.
\NAMECITE{Curve}{%
		Bashkow:1958:CPR%
		}.
\NAMECITE{Curve-Fitting}{%
		Valentine:1963:AMP%
		}.
\NAMECITE{Curves}{%
		Rosenfeld:1973:ACD%
		}.
\NAMECITE{Customer}{%
		Trexler:1954:PUC%
		}.
\NAMECITE{Customers}{%
		Adiri:1969:TSQ%
		}.
\NAMECITE{Cut}{%
		Martelli:1976:GEA%
		}.
\NAMECITE{Cuts}{%
		Johnson:1987:PAM%
		}.
\NAMECITE{Cutset}{%
		Tsukiyama:1980:AEA%
		}.
\NAMECITE{Cutsets}{%
		Tsukiyama:1980:AEA%
		}.
\NAMECITE{Cycle}{%
		Gibbs:1969:CGA%
		}.
\NAMECITE{Cycles}{%
		Weinblatt:1972:NSA%
		}.
\NAMECITE{Cyclic}{%
		Welch:1966:MAC%
		}.
\NAMECITE{Cyclic-Queue}{%
		Lewis:1971:CQM%
		}.
\NAMECITE{Cyclically}{%
		Wang:1985:FVS%
		}.
\NAMECITE{cycling}{%
		Vitter:2006:DSR%
		}.


\NAMECITE{{D0L}}{%
		Culik:1984:OSE%
		}.
\NAMECITE{{DAGs}}{%
		Demetrescu:2005:TOF%
		}.
\NAMECITE{{Danilewski}}{%
		Hansen:1963:DM%
		}.
\NAMECITE{Data}{%
		Trexler:1954:PUC%
		}.
\NAMECITE{Database}{%
		Papadimitriou:1979:SCD%
		}.
\NAMECITE{Databases}{%
		Eisner:1976:MTE%
		}.
\NAMECITE{Dataflow}{%
		Debray:1992:EDA%
		}.
\NAMECITE{Datalog}{%
		Ross:1994:MSM%
		}.
\NAMECITE{{Davidon}}{%
		Stewart:1967:MDM%
		}.
\NAMECITE{{Davis}}{%
		Nieuwenhuis:2006:SSS%
		}.
\NAMECITE{Dead}{%
		Kou:1977:LDA%
		}.
\NAMECITE{Deadlines}{%
		Garey:1976:STN%
		}.
\NAMECITE{Deadlock}{%
		Kameda:1980:TDF%
		}.
\NAMECITE{Deadlock-Free}{%
		Ibaraki:1983:DMC%
		}.
\NAMECITE{Deadlock-Freedom}{%
		Kameda:1980:TDF%
		}.
\NAMECITE{Dealer}{%
		Rabin:1994:RSS%
		}.
\NAMECITE{{deBruijn}}{%
		Collins:1992:VDD%
		}.
\NAMECITE{Decentralized}{%
		Jaffe:1983:DSR%
		}.
\NAMECITE{{Dechter}}{%
		Zhang:2003:EPV%
		}.
\NAMECITE{Decidability}{%
		Suzuki:1980:VDP%
		}.
\NAMECITE{Decidable}{%
		Kobayashi:1966:CPD%
		}.
\NAMECITE{Deciding}{%
		Lipton:1977:LTA%
		}.
\NAMECITE{Decimal}{%
		Moshman:1954:GPR%
		}.
\NAMECITE{Decision}{%
		Friedman:1962:DPC%
		}.
\NAMECITE{Decisions}{%
		Slagle:1964:EAF%
		}.
\NAMECITE{declustering}{%
		Chen:2004:DDN%
		}.
\NAMECITE{decodable}{%
		Yekhanin:2008:TQL%
		}.
\NAMECITE{Decomposable}{%
		Tal:1969:MDO%
		}.
\NAMECITE{decomposing}{%
		Kaplan:2005:AAA%
		}.
\NAMECITE{Decomposition}{%
		Curtis:1963:UDT%
		}.
\NAMECITE{Decompositions}{%
		Yoeli:1965:GCD%
		}.
\NAMECITE{Deduction}{%
		Aronson:1980:NFD%
		}.
\NAMECITE{Deductive}{%
		Cooper:1964:FRD%
		}.
\NAMECITE{Default}{%
		Tiomkin:1991:NDM%
		}.
\NAMECITE{Defects}{%
		Greene:1984:CVA%
		}.
\NAMECITE{defender}{%
		Jancar:2008:UBD%
		}.
\NAMECITE{Definability}{%
		Ginsburg:1963:OWP%
		}.
\NAMECITE{Definable}{%
		Rosenberg:1967:RTD%
		}.
\NAMECITE{Defined}{%
		Curtis:1959:ADP%
		}.
\NAMECITE{definedness}{%
		Vansummeren:2007:DWD%
		}.
\NAMECITE{Defining}{%
		Harper:1993:FDL%
		}.
\NAMECITE{Definite}{%
		Broeder:1958:PSD%
		}.
\NAMECITE{Definition}{%
		Sandhu:1988:SPM,%
		Good:1970:CIA%
		}.
\NAMECITE{Definitions}{%
		Kramer:1962:NSC%
		}.
\NAMECITE{degeneracy}{%
		Ailon:2005:LBL%
		}.
\NAMECITE{Degradable}{%
		Lee:1987:ORS%
		}.
\NAMECITE{Degree}{%
		Hooper:1966:MPN%
		}.
\NAMECITE{Degrees}{%
		Cudia:1968:DUF%
		}.
\NAMECITE{Delay}{%
		Omahen:1978:AAD%
		}.
\NAMECITE{delaying}{%
		Chen:1996:TED%
		}.
\NAMECITE{delays}{%
		Leonardi:2003:BDQ%
		}.
\NAMECITE{Deleting}{%
		Loveland:1981:DRG%
		}.
\NAMECITE{Deletion}{%
		Yu:1978:EAI%
		}.
\NAMECITE{Demand}{%
		Gaver:1971:ART%
		}.
\NAMECITE{Demand-Interrupting}{%
		Hofri:1975:PSD%
		}.
\NAMECITE{Demodulation}{%
		Wos:1967:CDT%
		}.
\NAMECITE{Demodulators}{%
		Blanyer:1955:PMD%
		}.
\NAMECITE{Demonstration}{%
		Bauer:1954:DHS%
		}.
\NAMECITE{Denotation}{%
		Boyle:1970:ASA%
		}.
\NAMECITE{Dense}{%
		Maurer:1982:DHG%
		}.
\NAMECITE{Density}{%
		Gauss:1964:EPS%
		}.
\NAMECITE{Dependencies}{%
		Mendelzon:1979:AMD%
		}.
\NAMECITE{Dependency}{%
		Curtis:1962:MRV%
		}.
\NAMECITE{Dependent}{%
		Delbrouck:1970:FQS%
		}.
\NAMECITE{depending}{%
		Cucker:1999:CED%
		}.
\NAMECITE{Depth}{%
		Nau:1983:DQF%
		}.
\NAMECITE{Depth-First}{%
		Williamson:1984:DFS%
		}.
\NAMECITE{deques}{%
		Kaplan:1999:PFR%
		}.
\NAMECITE{derandomization}{%
		Andreev:1998:NGD%
		}.
\NAMECITE{Derivability}{%
		Cook:1966:SDP%
		}.
\NAMECITE{Derivation}{%
		Flores:1964:DWT%
		}.
\NAMECITE{Derivations}{%
		Halpern:1992:LKG%
		}.
\NAMECITE{Derivatives}{%
		Brzozowski:1964:DRE%
		}.
\NAMECITE{Descent}{%
		Zoltners:1978:DDB%
		}.
\NAMECITE{Describing}{%
		Case:1971:NDS%
		}.
\NAMECITE{Description}{%
		Melahn:1956:DCV%
		}.
\NAMECITE{Descriptive}{%
		Floyd:1961:DLS%
		}.
\NAMECITE{descriptor}{%
		Fernandes:1998:EDM%
		}.
\NAMECITE{descriptor-vector}{%
		Fernandes:1998:EDM%
		}.
\NAMECITE{Design}{%
		Huffman:1957:DUH%
		}.
\NAMECITE{Designations}{%
		Weinberger:1957:SDE%
		}.
\NAMECITE{Designed}{%
		Coffman:1968:ATT%
		}.
\NAMECITE{Designing}{%
		Leichner:1957:DCC%
		}.
\NAMECITE{Desirability}{%
		Beeri:1983:DAD%
		}.
\NAMECITE{Desk}{%
		Parsons:1955:SDC%
		}.
\NAMECITE{Desk-Calculator}{%
		Parsons:1955:SDC%
		}.
\NAMECITE{Detect}{%
		Lehot:1974:OAD%
		}.
\NAMECITE{Detecting}{%
		Comba:1968:PDI%
		}.
\NAMECITE{Detection}{%
		Gorn:1963:DGA%
		}.
\NAMECITE{Detector}{%
		Chandra:1996:WFD%
		}.
\NAMECITE{detectors}{%
		Chandra:1996:UFD%
		}.
\NAMECITE{Determinant}{%
		Horowitz:1975:CED%
		}.
\NAMECITE{Determination}{%
		Sherman:1957:DTP%
		}.
\NAMECITE{Determining}{%
		Wasel:1954:MDP%
		}.
\NAMECITE{Deterministic}{%
		Cole:1971:DPS%
		}.
\NAMECITE{Deterministically}{%
		Greenberg:1985:LBT%
		}.
\NAMECITE{Developing}{%
		Burstall:1977:TSD%
		}.
\NAMECITE{Development}{%
		Li:1959:ODC%
		}.
\NAMECITE{Deviates}{%
		Muller:1959:CMG%
		}.
\NAMECITE{Device}{%
		Baumann:1958:HSR%
		}.
\NAMECITE{Devices}{%
		Haneman:1955:CCA%
		}.
\NAMECITE{{DFA}}{%
		Pitt:1993:MCD%
		}.
\NAMECITE{Diagonal}{%
		vonHoldt:1962:ITD%
		}.
\NAMECITE{Diagonalization}{%
		Pope:1957:MFR%
		}.
\NAMECITE{Diagonally}{%
		Blevins:1974:CED%
		}.
\NAMECITE{Diagram}{%
		Lomet:1973:FTD%
		}.
\NAMECITE{Diagrams}{%
		Kochen:1969:AQA%
		}.
\NAMECITE{dichotomy}{%
		Bulatov:2006:DTC%
		}.
\NAMECITE{{Diclique}}{%
		Haralick:1974:DRD%
		}.
\NAMECITE{Dictionary}{%
		Schwartz:1963:DMR%
		}.
\NAMECITE{Difference}{%
		Wadel:1954:EDA%
		}.
\NAMECITE{Differences}{%
		Fisher:1956:HOD%
		}.
\NAMECITE{Different}{%
		Ginsburg:1961:STA%
		}.
\NAMECITE{Differential}{%
		Crandall:1954:NTF%
		}.
\NAMECITE{Differentiation}{%
		Blum:1966:FSD%
		}.
\NAMECITE{Diffusion}{%
		Crandall:1955:IVE%
		}.
\NAMECITE{Digit}{%
		Kanner:1965:NBC%
		}.
\NAMECITE{Digital}{%
		Neumann:1954:SODa,%
		Anonymous:1956:DCNa%
		}.
\NAMECITE{Digitization}{%
		Montanari:1970:LPD%
		}.
\NAMECITE{Digitized}{%
		Montanari:1969:CSD%
		}.
\NAMECITE{Digits}{%
		Feldstein:1976:CED%
		}.
\NAMECITE{Digraph}{%
		Moyles:1969:AFM%
		}.
\NAMECITE{digraphs}{%
		Thorup:2004:COR%
		}.
\NAMECITE{{Dijkstra}}{%
		Johnson:1973:NDS%
		}.
\NAMECITE{Dimension}{%
		Mylopoulos:1971:TPQa%
		}.
\NAMECITE{Dimensional}{%
		Calingaert:1961:TDP%
		}.
\NAMECITE{Dimensionality}{%
		Kedem:1979:CDR%
		}.
\NAMECITE{Dimensions}{%
		Morrison:1959:NQM%
		}.
\NAMECITE{{Diophantine}}{%
		Gurari:1982:TWC%
		}.
\NAMECITE{Direct}{%
		Hooke:1961:DSS%
		}.
\NAMECITE{Directed}{%
		Chartres:1968:USD%
		}.
\NAMECITE{Direction}{%
		Conte:1960:ADM%
		}.
\NAMECITE{Directories}{%
		Bloch:1987:WVA%
		}.
\NAMECITE{Directory}{%
		Calderbank:1988:ODP%
		}.
\NAMECITE{{Dirichlet}}{%
		Young:1955:OSD%
		}.
\NAMECITE{Disaggregations}{%
		Abiteboul:1985:DD%
		}.
\NAMECITE{Discipline}{%
		Goffman:1971:MMA%
		}.
\NAMECITE{Disciplines}{%
		Kleinrock:1972:PSQ%
		}.
\NAMECITE{Discovery}{%
		Ernst:1982:MDC%
		}.
\NAMECITE{Discrepancy}{%
		Tezuka:1987:DGP%
		}.
\NAMECITE{Discrete}{%
		Laasonen:1958:TED%
		}.
\NAMECITE{Discrimination}{%
		Lewis:1967:SDS%
		}.
\NAMECITE{Disequations}{%
		Buntine:1994:SED%
		}.
\NAMECITE{Disjoint}{%
		Boesch:1977:CPD%
		}.
\NAMECITE{disjunctive}{%
		Cohen:2000:BTD%
		}.
\NAMECITE{Disk}{%
		Abate:1968:QAI%
		}.
\NAMECITE{Disks}{%
		Oney:1975:QAS%
		}.
\NAMECITE{Dispersal}{%
		Rabin:1989:EDI%
		}.
\NAMECITE{{dispersers}}{%
		Srinivasan:1998:EOP%
		}.
\NAMECITE{Display}{%
		Conn:1965:ODS%
		}.
\NAMECITE{Dissemination}{%
		Salton:1971:EST%
		}.
\NAMECITE{Dissolution}{%
		Murray:1993:DMP%
		}.
\NAMECITE{Distance}{%
		Montanari:1968:MOS%
		}.
\NAMECITE{distances}{%
		Thorup:2004:COR%
		}.
\NAMECITE{Distinct}{%
		Vries:1971:MSD%
		}.
\NAMECITE{distinctness}{%
		Aaronson:2004:QLB%
		}.
\NAMECITE{Distinguishes}{%
		Ginsburg:1958:LSU%
		}.
\NAMECITE{distortion}{%
		Ostrovsky:2007:LDE%
		}.
\NAMECITE{Distortions}{%
		Harlow:1957:HPI%
		}.
\NAMECITE{Distributed}{%
		Abelson:1980:LBI%
		}.
\NAMECITE{Distribution}{%
		Sherman:1957:DTP%
		}.
\NAMECITE{Distribution-Free}{%
		Franaszek:1974:SDA%
		}.
\NAMECITE{Distributions}{%
		Coffman:1970:WTD%
		}.
\NAMECITE{Divergence}{%
		Aceto:1992:TDD%
		}.
\NAMECITE{Diversity}{%
		Rivest:1994:DBI%
		}.
\NAMECITE{Diversity-Based}{%
		Rivest:1994:DBI%
		}.
\NAMECITE{Divide}{%
		Even:2000:DCA%
		}.
\NAMECITE{Divide-and-conquer}{%
		Even:2000:DCA%
		}.
\NAMECITE{Division}{%
		Kaminski:1987:LTA%
		}.
\NAMECITE{Divisions}{%
		Kedem:1979:CDR%
		}.
\NAMECITE{Divisor}{%
		Kaminski:1987:LTA%
		}.
\NAMECITE{Divisors}{%
		Brown:1971:EAC%
		}.
\NAMECITE{Do}{%
		Reischuk:1987:SWP%
		}.
\NAMECITE{Document}{%
		Borko:1963:ADC%
		}.
\NAMECITE{Documentation}{%
		Anonymous:1968:CJA%
		}.
\NAMECITE{{Dodgson}}{%
		Hemaspaandra:1997:EAD%
		}.
\NAMECITE{Does}{%
		LaPaugh:1993:RDH%
		}.
\NAMECITE{Domain}{%
		Laasonen:1958:TED%
		}.
\NAMECITE{Domain-Independent}{%
		Demolombe:1992:SCS%
		}.
\NAMECITE{Dominance}{%
		Ibaraki:1977:PDR%
		}.
\NAMECITE{Dominant}{%
		Blevins:1974:CED%
		}.
\NAMECITE{dominating}{%
		Alber:2004:PTD%
		}.
\NAMECITE{Domination}{%
		Slater:1976:DG%
		}.
\NAMECITE{Dominoes}{%
		Harel:1986:ETI%
		}.
\NAMECITE{Don't}{%
		Chu:1961:SMS%
		}.
\NAMECITE{Double}{%
		Macon:1957:CLP%
		}.
\NAMECITE{Double-Dummy}{%
		Berlekamp:1963:PDD%
		}.
\NAMECITE{Doubly}{%
		Stanfel:1972:PAD%
		}.
\NAMECITE{Down}{%
		Ward:1957:HMS%
		}.
\NAMECITE{Down-Hill}{%
		Ward:1957:HMS%
		}.
\NAMECITE{Downhill}{%
		Caldwell:1959:NHM%
		}.
\NAMECITE{dozen}{%
		Gray:2003:WND%
		}.
\NAMECITE{{DPDA}s}{%
		Oyamaguchi:1987:EPR%
		}.
\NAMECITE{{DPLL}}{%
		Nieuwenhuis:2006:SSS%
		}.
\NAMECITE{Draw}{%
		Weiss:1966:VPI%
		}.
\NAMECITE{Driven}{%
		Hofri:1984:AIS%
		}.
\NAMECITE{Driving}{%
		Ramachandran:1986:DML%
		}.
\NAMECITE{Drum}{%
		Hamilton:1954:IMD%
		}.
\NAMECITE{Drum-Like}{%
		Cody:1976:RAM%
		}.
\NAMECITE{{DTDs}}{%
		Fan:2002:XIC%
		}.
\NAMECITE{Dual}{%
		Blumenthal:1958:DMF%
		}.
\NAMECITE{duality}{%
		Low:2002:UTV%
		}.
\NAMECITE{Due}{%
		Ercoli:1960:LEE%
		}.
\NAMECITE{Dummy}{%
		Berlekamp:1963:PDD%
		}.
\NAMECITE{duration}{%
		Harchol-Balter:2002:TAU%
		}.
\NAMECITE{{Duval}}{%
		Harju:2007:PUW%
		}.
\NAMECITE{{Dwork}}{%
		Dwork:2003:MFM%
		}.
\NAMECITE{Dynamic}{%
		Bellman:1959:ADP%
		}.
\NAMECITE{{DYSEAC}}{%
		Leiner:1954:SSD%
		}.


\NAMECITE{{E.}}{%
		Siekmann:2001:ECW%
		}.
\NAMECITE{Early}{%
		Dolev:1990:ESB%
		}.
\NAMECITE{{EASIAC}}{%
		Perkins:1956:EPC%
		}.
\NAMECITE{Easy}{%
		Seiferas:1988:CE%
		}.
\NAMECITE{Eavesdropping}{%
		Franklin:2000:EGG%
		}.
\NAMECITE{Economical}{%
		McCreight:1976:SES%
		}.
\NAMECITE{Economization}{%
		Ralston:1963:ERF%
		}.
\NAMECITE{Economy}{%
		Logrippo:1978:REM%
		}.
\NAMECITE{{Eder}}{%
		Siekmann:2001:ECW%
		}.
\NAMECITE{Edge}{%
		Wagner:1976:SPA%
		}.
\NAMECITE{Edge-Deletion}{%
		Even:1981:LED%
		}.
\NAMECITE{Edge-disjoint}{%
		Hochstein:2004:EDR%
		}.
\NAMECITE{Edge-Length}{%
		Orda:1990:SPM%
		}.
\NAMECITE{Edge-Sparse}{%
		Wagner:1976:SPA%
		}.
\NAMECITE{Edges}{%
		Hueckel:1971:OWL%
		}.
\NAMECITE{edit}{%
		Ostrovsky:2007:LDE%
		}.
\NAMECITE{Editing}{%
		Wong:1976:BSE%
		}.
\NAMECITE{Editor}{%
		Wheeler:1959:LE,%
		Ercoli:1960:LEE%
		}.
\NAMECITE{{Editor-in-Chief}}{%
		Halpern:1997:BEC%
		}.
\NAMECITE{Editorial}{%
		Salton:1971:EST%
		}.
\NAMECITE{editors}{%
		Staff:2003:JEC%
		}.
\NAMECITE{editors-in-chief}{%
		Staff:2003:JEC%
		}.
\NAMECITE{{Edmonds}}{%
		Zadeh:1972:TEE%
		}.
\NAMECITE{{Edmonds-Karp}}{%
		Zadeh:1972:TEE%
		}.
\NAMECITE{Effect}{%
		Atta:1957:EPE%
		}.
\NAMECITE{Effective}{%
		Blum:1971:EPS%
		}.
\NAMECITE{Effectiveness}{%
		Yu:1977:AER%
		}.
\NAMECITE{Effects}{%
		Philippatos:1971:ECI%
		}.
\NAMECITE{Efficiency}{%
		Halton:1957:MIE%
		}.
\NAMECITE{Efficient}{%
		Slagle:1964:EAF%
		}.
\NAMECITE{Efficiently}{%
		Gotlieb:1954:RCE%
		}.
\NAMECITE{Effort}{%
		Shell:1959:SSC%
		}.
\NAMECITE{{Egd}}{%
		Graham:1990:EES%
		}.
\NAMECITE{Eigenvalue}{%
		Johansen:1961:MGM%
		}.
\NAMECITE{Eigenvalues}{%
		vonHoldt:1956:IPC%
		}.
\NAMECITE{Eigenvectors}{%
		vonHoldt:1956:IPC%
		}.
\NAMECITE{Electing}{%
		Frederickson:1987:ELS%
		}.
\NAMECITE{elections}{%
		Hemaspaandra:1997:EAD%
		}.
\NAMECITE{Electrical}{%
		Weinberger:1957:SDE%
		}.
\NAMECITE{Electron}{%
		Logan:1955:ASE%
		}.
\NAMECITE{Electronic}{%
		Wiseman:1954:LIP%
		}.
\NAMECITE{Electrostatic}{%
		Pellegrini:1998:EFS%
		}.
\NAMECITE{element}{%
		Aaronson:2004:QLB%
		}.
\NAMECITE{Elementary}{%
		Wilkinson:1959:SRM%
		}.
\NAMECITE{Elements}{%
		Pulvari:1955:DCR%
		}.
\NAMECITE{Eliminating}{%
		Ramshaw:1988:EGT%
		}.
\NAMECITE{Elimination}{%
		Ben-Israel:1963:EMC%
		}.
\NAMECITE{{Elliott}}{%
		Yates:1957:APR%
		}.
\NAMECITE{Elliptic}{%
		DiDonato:1959:NFC%
		}.
\NAMECITE{Elusive}{%
		Singh:1994:EAR%
		}.
\NAMECITE{Embedded}{%
		Sagiv:1982:SDC%
		}.
\NAMECITE{Embedded-Complete}{%
		Chan:1987:AQE%
		}.
\NAMECITE{Embedding}{%
		DeMillo:1980:STT%
		}.
\NAMECITE{Embeddings}{%
		Hong:1983:CTO%
		}.
\NAMECITE{Empirical}{%
		Green:1959:ETA%
		}.
\NAMECITE{emulations}{%
		Bhatt:1996:OEB%
		}.
\NAMECITE{Encoding}{%
		Schwartz:1963:DMR%
		}.
\NAMECITE{End}{%
		Baccelli:1984:EEA%
		}.
\NAMECITE{End-to-End}{%
		Baccelli:1984:EEA%
		}.
\NAMECITE{Ended}{%
		Bailey:1966:GSE%
		}.
\NAMECITE{Energy}{%
		Kissin:1991:ULB%
		}.
\NAMECITE{Engineering}{%
		Williams:1957:CFE%
		}.
\NAMECITE{{English}}{%
		Bourne:1961:SMS%
		}.
\NAMECITE{{English}-Like}{%
		Kochen:1969:AQA%
		}.
\NAMECITE{ensures}{%
		Banerjee:2005:OCE%
		}.
\NAMECITE{Entrance}{%
		Babad:1975:GME%
		}.
\NAMECITE{Entries}{%
		Horowitz:1975:CED%
		}.
\NAMECITE{entropies}{%
		Shaltiel:2005:SEA%
		}.
\NAMECITE{Entropy}{%
		Green:1973:PEF%
		}.
\NAMECITE{Entry}{%
		Macon:1957:CLP%
		}.
\NAMECITE{Enumerable}{%
		Culik:1979:PHC%
		}.
\NAMECITE{Enumerate}{%
		Tsukiyama:1980:AEA%
		}.
\NAMECITE{Enumerating}{%
		Kleinfeld:1960:TEV%
		}.
\NAMECITE{Enumeration}{%
		Martelli:1976:GEA%
		}.
\NAMECITE{Enumerations}{%
		Young:1969:TTE%
		}.
\NAMECITE{Environment}{%
		Arden:1966:PAS%
		}.
\NAMECITE{environments}{%
		Farias:2006:CEA%
		}.
\NAMECITE{Equal}{%
		Glicksman:1965:CME%
		}.
\NAMECITE{Equality}{%
		Ginzburg:1967:PCE%
		}.
\NAMECITE{Equality-Based}{%
		Digricoli:1986:EBB%
		}.
\NAMECITE{Equality-Oriented}{%
		Wang:1993:ZMR%
		}.
\NAMECITE{Equation}{%
		Crandall:1954:NTF%
		}.
\NAMECITE{Equational}{%
		Peterson:1981:CSR%
		}.
\NAMECITE{Equations}{%
		Gray:1955:PTE%
		}.
\NAMECITE{Equidistributed}{%
		Haber:1970:SNA%
		}.
\NAMECITE{Equilibration}{%
		Bunch:1971:ESM%
		}.
\NAMECITE{Equilibria}{%
		Korilis:1995:EEN%
		}.
\NAMECITE{{Equilibrium}}{%
		Kobayashi:1974:ADAa%
		}.
\NAMECITE{Equipment}{%
		Wiseman:1954:LIP%
		}.
\NAMECITE{Equiprobable}{%
		Perl:1975:EGO%
		}.
\NAMECITE{Equivalence}{%
		Barnes:1965:GAS%
		}.
\NAMECITE{Equivalences}{%
		Sagiv:1980:EAR%
		}.
\NAMECITE{Equivalent}{%
		Moyles:1969:AFM%
		}.
\NAMECITE{{ERA}}{%
		Bauer:1956:ICS%
		}.
\NAMECITE{{ERA-1103}}{%
		Bauer:1956:ICS%
		}.
\NAMECITE{Ergodic}{%
		Odell:1967:CFP%
		}.
\NAMECITE{{ERMETH}}{%
		Rutishauser:1955:SPT%
		}.
\NAMECITE{Errata}{%
		Coffman:1969:EAD%
		}.
\NAMECITE{Erratum}{%
		House:1963:ECP%
		}.
\NAMECITE{Error}{%
		Brown:1956:PPM%
		}.
\NAMECITE{Errors}{%
		Ercoli:1960:LEE%
		}.
\NAMECITE{Essays}{%
		Burks:1970:ECA%
		}.
\NAMECITE{Establishing}{%
		Anderson:1970:LFR%
		}.
\NAMECITE{Estimate}{%
		Benschop:1971:MSE%
		}.
\NAMECITE{Estimates}{%
		Harrison:1966:AES%
		}.
\NAMECITE{Estimating}{%
		Fishman:1979:EMC%
		}.
\NAMECITE{Estimation}{%
		Moshman:1958:ASE%
		}.
\NAMECITE{{Euclid}}{%
		Brown:1971:EAC%
		}.
\NAMECITE{{Euclidean}}{%
		Montanari:1968:MOS%
		}.
\NAMECITE{Evaluating}{%
		Coffman:1983:ISE%
		}.
\NAMECITE{Evaluation}{%
		Titus:1955:GCP%
		}.
\NAMECITE{Evaluator}{%
		Miehle:1957:BTF%
		}.
\NAMECITE{Event}{%
		Fishman:1979:EMC%
		}.
\NAMECITE{Events}{%
		Copi:1958:REL%
		}.
\NAMECITE{Everywhere}{%
		Gill:1974:AEC%
		}.
\NAMECITE{Evidence}{%
		Philippatos:1971:ECI%
		}.
\NAMECITE{evolution}{%
		Farach:1999:EAI%
		}.
\NAMECITE{Exact}{%
		McClellan:1973:ESS%
		}.
\NAMECITE{Examination}{%
		Moursund:1965:EMR%
		}.
\NAMECITE{Example}{%
		Daley:1973:EIC%
		}.
\NAMECITE{Examples}{%
		Summers:1977:MLP%
		}.
\NAMECITE{excellence}{%
		Raghavan:2003:EPE%
		}.
\NAMECITE{Exchange}{%
		Hildebrandt:1959:REI%
		}.
\NAMECITE{Exclusion}{%
		Burns:1982:DRI%
		}.
\NAMECITE{Exclusive}{%
		Kedem:1983:LPE%
		}.
\NAMECITE{Exclusiveness}{%
		Svoboda:1975:CTE%
		}.
\NAMECITE{Execution}{%
		Achugbue:1981:BSI%
		}.
\NAMECITE{Execution/\penalty0{}Sleep}{%
		Leung:1993:ESS%
		}.
\NAMECITE{Exercising}{%
		Richards:1973:EESa%
		}.
\NAMECITE{Exhibit}{%
		Guibas:1978:AHT%
		}.
\NAMECITE{Existence}{%
		Borodin:1972:CCE,%
		Pattipati:1990:AMV%
		}.
\NAMECITE{Existential}{%
		Venkataraman:1987:DPE%
		}.
\NAMECITE{expander}{%
		Gabow:2006:UEG%
		}.
\NAMECITE{Expansion}{%
		Hempstead:1956:PLE%
		}.
\NAMECITE{Expansions}{%
		McKenna:1984:AEI%
		}.
\NAMECITE{expectation}{%
		Halpern:2007:CRA%
		}.
\NAMECITE{Expected}{%
		Cody:1976:RAM%
		}.
\NAMECITE{Experience}{%
		Salkin:1973:SCA%
		}.
\NAMECITE{Experiment}{%
		Ginsburg:1958:LSU%
		}.
\NAMECITE{Experimental}{%
		Mattson:1963:FWC%
		}.
\NAMECITE{Experiments}{%
		Cohn:1955:SEI%
		}.
\NAMECITE{expert}{%
		Cesa-Bianchi:1997:HUE%
		}.
\NAMECITE{explanations}{%
		Eiter:2007:CAA%
		}.
\NAMECITE{Explicit}{%
		Crandall:1955:IVE%
		}.
\NAMECITE{Exponential}{%
		Macon:1955:CEH%
		}.
\NAMECITE{exponential-time}{%
		Paturi:2005:IET%
		}.
\NAMECITE{Exponentiating}{%
		Fich:1988:PCE%
		}.
\NAMECITE{Exposing}{%
		Rohlicek:1988:RPM%
		}.
\NAMECITE{expressibility}{%
		Karhumaki:2000:ELR%
		}.
\NAMECITE{Expression}{%
		Bruno:1972:EAC%
		}.
\NAMECITE{Expressions}{%
		Ott:1961:DSM%
		}.
\NAMECITE{expressive}{%
		Benedikt:1998:REP%
		}.
\NAMECITE{Expressiveness}{%
		Fortune:1983:ESS%
		}.
\NAMECITE{Extended}{%
		Curtis:1963:GTC%
		}.
\NAMECITE{Extendible}{%
		Rosenberg:1974:ASE%
		}.
\NAMECITE{extensible}{%
		Shalev:2006:SOL%
		}.
\NAMECITE{Extension}{%
		Keitel:1956:EMT%
		}.
\NAMECITE{extensions}{%
		Halevy:2001:SAD%
		}.
\NAMECITE{extent}{%
		Agarwal:2004:AEM%
		}.
\NAMECITE{External}{%
		Goetz:1961:LE%
		}.
\NAMECITE{Extra}{%
		Horvath:1978:SSA%
		}.
\NAMECITE{Extracting}{%
		Edmundson:1969:NMA%
		}.
\NAMECITE{extraction}{%
		Gottlob:2004:MDE%
		}.
\NAMECITE{Extractors}{%
		Trevisan:2001:EPG%
		}.
\NAMECITE{Extrapolation}{%
		Tsuda:1966:NLE%
		}.
\NAMECITE{Extrema}{%
		Dobkin:1991:MGE%
		}.
\NAMECITE{Extremal}{%
		Baccelli:1993:ESP%
		}.
\NAMECITE{exudation}{%
		Cheng:2000:SE%
		}.


\NAMECITE{F}{%
		Zohar:1969:TMI%
		}.
\NAMECITE{Face}{%
		Fekete:1993:IIR%
		}.
\NAMECITE{Facility}{%
		Abate:1968:QAI%
		}.
\NAMECITE{Fact}{%
		Cooper:1964:FRD%
		}.
\NAMECITE{Factor}{%
		Stiles:1961:AFI%
		}.
\NAMECITE{factor-revealing}{%
		Jain:2003:GFL%
		}.
\NAMECITE{Factorial}{%
		Oliver:1967:AFE%
		}.
\NAMECITE{Factorization}{%
		Cohn:1955:SEI%
		}.
\NAMECITE{Fails}{%
		Kurtz:1995:ICF%
		}.
\NAMECITE{Failure}{%
		Hirschberg:1987:NAF%
		}.
\NAMECITE{Failures}{%
		Leivant:1988:MRF%
		}.
\NAMECITE{Fair}{%
		Greenberg:1992:HFF%
		}.
\NAMECITE{Fairness}{%
		Harel:1986:ETI%
		}.
\NAMECITE{Families}{%
		Ginsburg:1962:TFL%
		}.
\NAMECITE{Family}{%
		Ralston:1959:FQF%
		}.
\NAMECITE{Fan}{%
		Hoover:1984:BFL%
		}.
\NAMECITE{Fan-out}{%
		Hoover:1984:BFL%
		}.
\NAMECITE{Fanout}{%
		Hayes:1975:FSS%
		}.
\NAMECITE{Fanout-Free}{%
		Hayes:1976:EFF%
		}.
\NAMECITE{Fast}{%
		Hockney:1965:FDS%
		}.
\NAMECITE{Faster}{%
		Cole:1987:SSN%
		}.
\NAMECITE{Fault}{%
		Donatiello:1987:ACP%
		}.
\NAMECITE{fault-tolerance}{%
		Bazzi:2001:SFT%
		}.
\NAMECITE{Fault-Tolerant}{%
		Donatiello:1987:ACP%
		}.
\NAMECITE{Faults}{%
		Pease:1980:RAP%
		}.
\NAMECITE{Faulty}{%
		Fischer:1985:IDC%
		}.
\NAMECITE{{Fd}}{%
		Graham:1990:EES%
		}.
\NAMECITE{Feasible}{%
		Walsh:1961:CFM%
		}.
\NAMECITE{Feature}{%
		Mattson:1963:FWC%
		}.
\NAMECITE{Features}{%
		Swift:1957:MFM%
		}.
\NAMECITE{Feedback}{%
		Smith:1964:DCS%
		}.
\NAMECITE{Ferroelectric}{%
		Pulvari:1955:DCR%
		}.
\NAMECITE{{FERUT}}{%
		Hume:1955:TSA%
		}.
\NAMECITE{few}{%
		Conitzer:2007:WEF%
		}.
\NAMECITE{{Fibonacci}}{%
		Fredman:1987:FHT%
		}.
\NAMECITE{Field}{%
		Williams:1957:CFE%
		}.
\NAMECITE{Fields}{%
		JaJa:1980:CBF%
		}.
\NAMECITE{{FIFO}}{%
		Mansour:1992:IBP%
		}.
\NAMECITE{Fifth}{%
		Milne:1962:FOM%
		}.
\NAMECITE{Fifth-Order}{%
		Milne:1962:FOM%
		}.
\NAMECITE{File}{%
		Blumenthal:1958:DMF%
		}.
\NAMECITE{Files}{%
		Glicksman:1965:CME%
		}.
\NAMECITE{Fill}{%
		Coleman:1986:PFS%
		}.
\NAMECITE{{Filon}}{%
		Flinn:1960:MFM%
		}.
\NAMECITE{Filtering}{%
		Anders:1965:EBN%
		}.
\NAMECITE{Filters}{%
		Wadel:1956:SDF%
		}.
\NAMECITE{{FINAC}}{%
		Ercoli:1957:EDO%
		}.
\NAMECITE{Find}{%
		Karger:1995:RLA%
		}.
\NAMECITE{Finder}{%
		deChampeaux:1986:SFI%
		}.
\NAMECITE{Finding}{%
		Frank:1958:FZA,%
		Mitchell:1991:WRP%
		}.
\NAMECITE{fine}{%
		MixBarrington:1988:FMF%
		}.
\NAMECITE{fine-grained}{%
		Blelloch:1999:PES%
		}.
\NAMECITE{Finish}{%
		Gonzalez:1976:OSS%
		}.
\NAMECITE{Finite}{%
		Conte:1957:SIF,%
		Drusinsky:1994:PBC%
		}.
\NAMECITE{finite-horizon}{%
		Mundhenk:2000:CFH%
		}.
\NAMECITE{Finite-Source}{%
		Kameda:1982:FSQ%
		}.
\NAMECITE{Finite-State}{%
		Liu:1969:LFP%
		}.
\NAMECITE{Finitely}{%
		Hull:1984:FSI%
		}.
\NAMECITE{finiteness}{%
		Kifer:1998:DAQ%
		}.
\NAMECITE{First}{%
		DiDonato:1959:NFC%
		}.
\NAMECITE{First-Order}{%
		Manna:1969:PPF%
		}.
\NAMECITE{{Fishspear}}{%
		Fischer:1994:FPQ%
		}.
\NAMECITE{Fitting}{%
		Ascher:1958:SEU%
		}.
\NAMECITE{Five}{%
		Butcher:1967:MGR%
		}.
\NAMECITE{Fixed}{%
		Estrin:1962:OFP%
		}.
\NAMECITE{Fixed-Connection}{%
		Koch:1997:WEF%
		}.
\NAMECITE{Fixed-Plus-Variable}{%
		Estrin:1962:OFP%
		}.
\NAMECITE{Fixed-Point}{%
		Odell:1967:CFP%
		}.
\NAMECITE{Fixpoint}{%
		Arbib:1982:PCE%
		}.
\NAMECITE{{Fliess}}{%
		Kortelainen:1989:CFC%
		}.
\NAMECITE{flipping}{%
		Aspnes:1998:LBD%
		}.
\NAMECITE{Floating}{%
		Ashenhurst:1959:UFP%
		}.
\NAMECITE{Floating-Point}{%
		Wadey:1960:FA%
		}.
\NAMECITE{Flow}{%
		Scott:1958:APF%
		}.
\NAMECITE{Flow-Shop}{%
		Kohler:1975:EAG%
		}.
\NAMECITE{Flowchart}{%
		III:1982:CFL%
		}.
\NAMECITE{Flowcharts}{%
		Yelowitz:1975:DPC%
		}.
\NAMECITE{Flowgraphs}{%
		Baker:1977:ASF%
		}.
\NAMECITE{Flows}{%
		Zadeh:1972:TEE%
		}.
\NAMECITE{Flowshop}{%
		Papadimitriou:1980:FSL%
		}.
\NAMECITE{{Floyd}}{%
		Bloom:1991:FHL%
		}.
\NAMECITE{{Floyd-Hoare}}{%
		Bloom:1991:FHL%
		}.
\NAMECITE{Fluid}{%
		Harlow:1957:HPI%
		}.
\NAMECITE{Flutter}{%
		Franklin:1958:NSC%
		}.
\NAMECITE{Folk}{%
		Hajek:1983:PFT%
		}.
\NAMECITE{Footnote}{%
		Goldstine:1960:FRP%
		}.
\NAMECITE{forcing}{%
		Jancar:2008:UBD%
		}.
\NAMECITE{{Ford}}{%
		Manacher:1979:FJS%
		}.
\NAMECITE{{Ford-Johnson}}{%
		Manacher:1979:FJS%
		}.
\NAMECITE{Foreword}{%
		Kolaitis:2004:F%
		}.
\NAMECITE{Forget}{%
		Naughton:1994:HFP%
		}.
\NAMECITE{Forgetting}{%
		Freivalds:1995:IFL%
		}.
\NAMECITE{Fork}{%
		Baccelli:1989:AFJ%
		}.
\NAMECITE{Fork-Join}{%
		Baccelli:1989:AFJ%
		}.
\NAMECITE{Form}{%
		Curtis:1959:FCF%
		}.
\NAMECITE{Formal}{%
		Loberman:1957:FPC%
		}.
\NAMECITE{Formalism}{%
		Sklansky:1968:FPT%
		}.
\NAMECITE{Formalisms}{%
		Fischer:1965:FTM%
		}.
\NAMECITE{Formalization}{%
		Manna:1970:FPF%
		}.
\NAMECITE{Formally}{%
		Chaitin:1975:TPS%
		}.
\NAMECITE{Format}{%
		Loveland:1969:SFM%
		}.
\NAMECITE{Formed}{%
		Burge:1976:ABS%
		}.
\NAMECITE{Forms}{%
		Wilkinson:1959:SRM%
		}.
\NAMECITE{Formula}{%
		Crane:1962:SGC%
		}.
\NAMECITE{Formulae}{%
		Kearns:1994:CLL%
		}.
\NAMECITE{Formulas}{%
		Crandall:1955:IVE,%
		Lee-Whiting:1963:EFC%
		}.
\NAMECITE{Formulation}{%
		Miller:1960:IPF%
		}.
\NAMECITE{Formulations}{%
		Gavish:1983:FAC%
		}.
\NAMECITE{{Fortran}}{%
		Ferguson:1960:IOB%
		}.
\NAMECITE{{Fortran}-Compiled}{%
		Gelernter:1960:FCL%
		}.
\NAMECITE{found}{%
		Shor:2003:WHM%
		}.
\NAMECITE{foundation}{%
		Jayasimha:2003:FDD%
		}.
\NAMECITE{Foundations}{%
		Cooper:1978:FPU%
		}.
\NAMECITE{Founded}{%
		vanGelder:1991:WFS%
		}.
\NAMECITE{Four}{%
		Butcher:1967:MGR%
		}.
\NAMECITE{{Fourier}}{%
		Hockney:1965:FDS%
		}.
\NAMECITE{Fourth}{%
		Crandall:1954:NTF,%
		Anonymous:1979:CPF%
		}.
\NAMECITE{{FP}}{%
		Halpern:1990:CRR%
		}.
\NAMECITE{Fractions}{%
		Macon:1955:CEH%
		}.
\NAMECITE{Fragment}{%
		Sagiv:1981:EBR%
		}.
\NAMECITE{Frame}{%
		Kifer:1995:LFO%
		}.
\NAMECITE{Frame-Based}{%
		Kifer:1995:LFO%
		}.
\NAMECITE{Framework}{%
		Brzozowski:1989:UFR%
		}.
\NAMECITE{{Fredholm}}{%
		Fisher:1958:PMA%
		}.
\NAMECITE{Free}{%
		Huffman:1957:DUH,%
		Shalev:2006:SOL%
		}.
\NAMECITE{Freedom}{%
		Kameda:1980:TDF%
		}.
\NAMECITE{Frequency}{%
		Freiberger:1960:CFF%
		}.
\NAMECITE{Freshman}{%
		Slagle:1963:HPS%
		}.
\NAMECITE{frontier}{%
		Gottlob:2004:ESO%
		}.
\NAMECITE{Full}{%
		Brandwajn:1977:QMM%
		}.
\NAMECITE{Full-Text}{%
		Attar:1977:LFF%
		}.
\NAMECITE{Fully}{%
		Driscoll:1994:FPL%
		}.
\NAMECITE{fully-dynamic}{%
		Holm:2001:PLD%
		}.
\NAMECITE{Function}{%
		Heizer:1956:TFS%
		}.
\NAMECITE{Function-Free}{%
		Naughton:1989:MFF%
		}.
\NAMECITE{Functional}{%
		Curtis:1959:FCF%
		}.
\NAMECITE{Functional-Dependency}{%
		Ginsburg:1982:PFD%
		}.
\NAMECITE{Functions}{%
		Macon:1955:CEH%
		}.
\NAMECITE{{Fundamental}}{%
		Keller:1973:PPSa%
		}.
\NAMECITE{Further}{%
		Hartmanis:1963:FRS%
		}.
\NAMECITE{Fuzzy}{%
		Lee:1972:FLR%
		}.


\NAMECITE{Gage}{%
		Perley:1954:ASG%
		}.
\NAMECITE{Game}{%
		Berlekamp:1963:PDD%
		}.
\NAMECITE{games}{%
		Franklin:2000:EGG%
		}.
\NAMECITE{Gamma}{%
		Gordon:1960:NMC%
		}.
\NAMECITE{Gap}{%
		Constable:1972:OG%
		}.
\NAMECITE{Gaps}{%
		Borodin:1972:CCE%
		}.
\NAMECITE{Gates}{%
		Richards:1973:EESa%
		}.
\NAMECITE{{Gaussian}}{%
		Martelli:1976:GEA%
		}.
\NAMECITE{General}{%
		Titus:1955:GCP,%
		Crane:1974:SSSa%
		}.
\NAMECITE{General-Purpose}{%
		Bauer:1957:SGP%
		}.
\NAMECITE{Generalization}{%
		McGee:1959:GKS%
		}.
\NAMECITE{generalizations}{%
		Maneva:2007:NLS%
		}.
\NAMECITE{Generalized}{%
		Atta:1954:CGH%
		}.
\NAMECITE{Generals}{%
		Lamport:1983:WBG,%
		Lamport:1982:BGP%
		}.
\NAMECITE{Generated}{%
		Householder:1958:GER%
		}.
\NAMECITE{Generating}{%
		Muller:1959:CMG%
		}.
\NAMECITE{Generation}{%
		Moshman:1954:GPR%
		}.
\NAMECITE{Generative}{%
		Gorn:1963:DGA%
		}.
\NAMECITE{Generator}{%
		Green:1959:ETA%
		}.
\NAMECITE{Generators}{%
		Gill:1963:WDP%
		}.
\NAMECITE{Genus}{%
		Furst:1988:FMG%
		}.
\NAMECITE{Geometric}{%
		Hodes:1970:LCG%
		}.
\NAMECITE{{Gerschgorin}}{%
		Smith:1970:EBZ%
		}.
\NAMECITE{Getting}{%
		Lampson:2003:GCU%
		}.
\NAMECITE{{GFSR}}{%
		Tezuka:1987:DGP%
		}.
\NAMECITE{Given}{%
		Fitzpatrick:1960:SBR%
		}.
\NAMECITE{{Givens}}{%
		Causey:1958:SEB%
		}.
\NAMECITE{Global}{%
		Kam:1976:GDF%
		}.
\NAMECITE{Globally}{%
		Wasilkowski:1980:CSI%
		}.
\NAMECITE{go}{%
		Ramshaw:1988:EGT,%
		Lichtenstein:1980:GPS%
		}.
\NAMECITE{Goal}{%
		Nevins:1970:PLA%
		}.
\NAMECITE{Goals}{%
		Loveland:1981:DRG%
		}.
\NAMECITE{Goes}{%
		Halpern:1992:LKG%
		}.
\NAMECITE{{Golden}}{%
		Gotlieb:2003:GAJ%
		}.
\NAMECITE{{Good}}{%
		Kannan:2004:CGB%
		}.
\NAMECITE{gossip}{%
		Kempe:2004:SGR%
		}.
\NAMECITE{{GPS}}{%
		Ernst:1969:SCS%
		}.
\NAMECITE{Gradient}{%
		Klingman:1964:NPA%
		}.
\NAMECITE{{Graeffe}}{%
		Bauer:1958:MMI%
		}.
\NAMECITE{Grained}{%
		Cosnard:1994:OAP%
		}.
\NAMECITE{Grammar}{%
		Gabrielian:1974:GS%
		}.
\NAMECITE{Grammars}{%
		Greibach:1965:NNF%
		}.
\NAMECITE{Grammatical}{%
		Klein:1963:CAG%
		}.
\NAMECITE{grand}{%
		Feigenbaum:2003:SCG%
		}.
\NAMECITE{Graph}{%
		Martin:1967:MCS%
		}.
\NAMECITE{Graph-Matching}{%
		Gabow:1991:FSA%
		}.
\NAMECITE{Graph-Representable}{%
		Shaw:1970:PGR%
		}.
\NAMECITE{Graph-Theoretic}{%
		Golumbic:1993:CAR%
		}.
\NAMECITE{Graphical}{%
		Dill:1971:GSS%
		}.
\NAMECITE{Graphics}{%
		Chor:1986:ANT%
		}.
\NAMECITE{Graphs}{%
		Dixon:1965:COS%
		}.
\NAMECITE{great}{%
		Brooks:2003:TGC%
		}.
\NAMECITE{Greatest}{%
		Brown:1971:EAC%
		}.
\NAMECITE{Greed}{%
		Nodine:1995:GSO%
		}.
\NAMECITE{Greedy}{%
		Chang:1976:CCC%
		}.
\NAMECITE{grids}{%
		Frumkin:2002:TBC%
		}.
\NAMECITE{{Gr{\"o}bner}}{%
		Baader:1993:UCT%
		}.
\NAMECITE{Ground}{%
		Gallier:1993:AFC%
		}.
\NAMECITE{Group}{%
		Weeg:1962:SAO%
		}.
\NAMECITE{Group-Testing}{%
		Gluss:1963:MOS%
		}.
\NAMECITE{Group-Type}{%
		Trauth:1966:GTA%
		}.
\NAMECITE{Groups}{%
		Fleck:1962:IGA%
		}.
\NAMECITE{Grow}{%
		Bhatt:1993:TRW%
		}.
\NAMECITE{Growth}{%
		Goffman:1971:MMA%
		}.
\NAMECITE{Guarantee}{%
		Wigderson:1983:IPG%
		}.
\NAMECITE{Guaranteed}{%
		Kohler:1975:EAG%
		}.
\NAMECITE{guided}{%
		Clarke:2003:CGA%
		}.


\NAMECITE{half}{%
		Brooks:2003:TGC%
		}.
\NAMECITE{half-century-old}{%
		Brooks:2003:TGC%
		}.
\NAMECITE{Halting}{%
		Aanderaa:1967:SHP%
		}.
\NAMECITE{{Hamilton}}{%
		Rubin:1974:SPH%
		}.
\NAMECITE{{Hamiltonian}}{%
		Goodman:1975:AHC%
		}.
\NAMECITE{Handling}{%
		Bracken:1956:GSH%
		}.
\NAMECITE{Hard}{%
		Liu:1973:SAM%
		}.
\NAMECITE{Hard-Core}{%
		Even:1985:HCT%
		}.
\NAMECITE{Hard-Real-Time}{%
		Liu:1973:SAM%
		}.
\NAMECITE{Harder}{%
		Hochbaum:1990:CSO%
		}.
\NAMECITE{Hardness}{%
		Lund:1994:HAM%
		}.
\NAMECITE{Hardware}{%
		Bryant:1991:MHV%
		}.
\NAMECITE{harmonic}{%
		Bartal:2000:HKS%
		}.
\NAMECITE{Hash}{%
		Martin:1971:DEA%
		}.
\NAMECITE{Hashing}{%
		Ullman:1972:NEH%
		}.
\NAMECITE{haven't}{%
		Shor:2003:WHM%
		}.
\NAMECITE{Having}{%
		Huang:1972:IPM%
		}.
\NAMECITE{Hazard}{%
		Huffman:1957:DUH%
		}.
\NAMECITE{Hazard-Free}{%
		Huffman:1957:DUH%
		}.
\NAMECITE{Hazards}{%
		Yoeli:1964:ATA%
		}.
\NAMECITE{Head}{%
		Gotlieb:1973:PMH%
		}.
\NAMECITE{{Headquarters}}{%
		Mandelbaum:2003:RH%
		}.
\NAMECITE{Heads}{%
		Yao:1978:HBT%
		}.
\NAMECITE{heap}{%
		Chazelle:2000:SHA%
		}.
\NAMECITE{Heaps}{%
		Fredman:1987:FHT%
		}.
\NAMECITE{Heat}{%
		Ehrlich:1958:NMS%
		}.
\NAMECITE{Heavy}{%
		Gaver:1971:ART%
		}.
\NAMECITE{Height}{%
		Devroye:1986:NHB%
		}.
\NAMECITE{Help}{%
		Edwards:1964:CPP%
		}.
\NAMECITE{helps}{%
		Vocking:2003:HAH%
		}.
\NAMECITE{{Henschen}}{%
		Briggs:1990:CTC%
		}.
\NAMECITE{{Henschen-Naqvi}}{%
		Briggs:1990:CTC%
		}.
\NAMECITE{{Herbrand}}{%
		Loveland:1972:UVS%
		}.
\NAMECITE{{Hermite}}{%
		Gershinsky:1964:AHI%
		}.
\NAMECITE{{Hermitian}}{%
		Broeder:1958:PSD%
		}.
\NAMECITE{Heuristic}{%
		Simon:1963:EHC%
		}.
\NAMECITE{Heuristics}{%
		Bagchi:1983:SAU%
		}.
\NAMECITE{Hidden}{%
		Flajolet:2006:HWS%
		}.
\NAMECITE{Hierarchical}{%
		Mitra:1974:SAH%
		}.
\NAMECITE{Hierarchies}{%
		DiPaola:1969:RSS%
		}.
\NAMECITE{Hierarchy}{%
		Greibach:1969:IHC%
		}.
\NAMECITE{High}{%
		Bauer:1954:DHS%
		}.
\NAMECITE{High-Scanning-Rate}{%
		Baumann:1958:HSR%
		}.
\NAMECITE{High-Speed}{%
		Bauer:1954:DHS%
		}.
\NAMECITE{Higher}{%
		Fisher:1956:HOD%
		}.
\NAMECITE{Higher-Order}{%
		Nadathur:1990:HOH%
		}.
\NAMECITE{highly}{%
		Ambainis:2006:CHM%
		}.
\NAMECITE{{Hilbert}}{%
		Atta:1957:EPE%
		}.
\NAMECITE{Hill}{%
		Ward:1957:HMS%
		}.
\NAMECITE{History}{%
		Rabin:1963:WHT%
		}.
\NAMECITE{{Hitchcock}}{%
		Dulmage:1962:MAH%
		}.
\NAMECITE{{Hoare}}{%
		Wand:1978:NIR%
		}.
\NAMECITE{homogeneous}{%
		Kameda:2002:PDD%
		}.
\NAMECITE{homology}{%
		Dey:1998:CHG%
		}.
\NAMECITE{Homomorphic}{%
		Culik:1979:PHC%
		}.
\NAMECITE{homomorphism}{%
		Grohe:2007:CHC%
		}.
\NAMECITE{Homomorphisms}{%
		Rathmann:1994:CHS%
		}.
\NAMECITE{homotopic}{%
		Verdiere:2007:OPD%
		}.
\NAMECITE{Honest}{%
		Rabin:1994:RSS%
		}.
\NAMECITE{{Hopcroft}}{%
		Deo:1976:NHT%
		}.
\NAMECITE{horizon}{%
		Mundhenk:2000:CFH%
		}.
\NAMECITE{{Horn}}{%
		Henschen:1974:URH%
		}.
\NAMECITE{{Huffman}}{%
		Vitter:1987:DAD%
		}.
\NAMECITE{Hulls}{%
		Yao:1981:LBF%
		}.
\NAMECITE{Human}{%
		Nevins:1974:HOL%
		}.
\NAMECITE{{Hwang}}{%
		Manacher:1979:SIH%
		}.
\NAMECITE{{Hwang-Lin}}{%
		Manacher:1979:SIH%
		}.
\NAMECITE{Hydrodynamic}{%
		Harlow:1957:HPI%
		}.
\NAMECITE{Hyperbolic}{%
		Macon:1955:CEH%
		}.
\NAMECITE{Hypercubes}{%
		Bhatt:1993:TRW%
		}.
\NAMECITE{Hypergeometric}{%
		Atta:1954:CGH%
		}.
\NAMECITE{Hypergraphs}{%
		Fagin:1983:DAH%
		}.
\NAMECITE{hyperlinked}{%
		Kleinberg:1999:ASH%
		}.


\NAMECITE{{I/O}}{%
		Cotten:1974:PTS%
		}.
\NAMECITE{{IA}}{%
		Steel:1957:PI%
		}.
\NAMECITE{{Ianov}}{%
		Rutledge:1964:IPS%
		}.
\NAMECITE{{IBM}}{%
		Backus:1954:ISS%
		}.
\NAMECITE{Ideal}{%
		Cohn:1955:SEI%
		}.
\NAMECITE{Identical}{%
		Richards:1973:EESa%
		}.
\NAMECITE{Identification}{%
		Oettinger:1957:AIA%
		}.
\NAMECITE{Identifier}{%
		Boyle:1970:ASA%
		}.
\NAMECITE{Identities}{%
		Schwartz:1980:FPA%
		}.
\NAMECITE{identity}{%
		Abiteboul:1998:OIQ%
		}.
\NAMECITE{{II}}{%
		Burks:1957:LAPb%
		}.
\NAMECITE{Image}{%
		Richman:1974:CSI%
		}.
\NAMECITE{Images}{%
		Montanari:1969:CSD%
		}.
\NAMECITE{Imbedding}{%
		Wasserstrom:1971:SBV%
		}.
\NAMECITE{Immortality}{%
		Hooper:1966:IPP%
		}.
\NAMECITE{Impact}{%
		Freivalds:1995:IFL%
		}.
\NAMECITE{imperfect}{%
		Gilpin:2007:LAI%
		}.
\NAMECITE{Implementation}{%
		Boehm:1959:SSM%
		}.
\NAMECITE{Implementations}{%
		Nourani:1983:AIT%
		}.
\NAMECITE{Implementing}{%
		Fekete:1993:IIR%
		}.
\NAMECITE{Implication}{%
		Cosmadakis:1990:PTI%
		}.
\NAMECITE{Implicational}{%
		Hull:1984:FSI%
		}.
\NAMECITE{Implications}{%
		Garey:1978:SNC%
		}.
\NAMECITE{Implicit}{%
		Crandall:1955:IVE%
		}.
\NAMECITE{importance}{%
		Cook:2003:IPV%
		}.
\NAMECITE{Impossibility}{%
		Fischer:1985:IDC%
		}.
\NAMECITE{Impossible}{%
		Clark:1979:PLC%
		}.
\NAMECITE{Improved}{%
		Krogh:1966:PCM%
		}.
\NAMECITE{Improvement}{%
		Loveman:1977:PIS%
		}.
\NAMECITE{Improvements}{%
		Edmonds:1972:TIA%
		}.
\NAMECITE{Improving}{%
		Wigderson:1983:IPG%
		}.
\NAMECITE{in-place}{%
		Franceschini:2005:PSC%
		}.
\NAMECITE{inapproximability}{%
		Haastad:2001:SOI%
		}.
\NAMECITE{Inaugural}{%
		Carr:1957:IPA%
		}.
\NAMECITE{Including}{%
		Slagle:1972:ATP%
		}.
\NAMECITE{Inclusion}{%
		Greibach:1980:SPS%
		}.
\NAMECITE{Incomplete}{%
		DiDonato:1959:NFC%
		}.
\NAMECITE{Incompleteness}{%
		Wand:1978:NIR%
		}.
\NAMECITE{Increase}{%
		Juncosa:1960:ICR%
		}.
\NAMECITE{Increased}{%
		Crane:1965:PCA%
		}.
\NAMECITE{Increasing}{%
		Halton:1957:MIE%
		}.
\NAMECITE{Incremental}{%
		Muller:1989:IMD%
		}.
\NAMECITE{Incrementality}{%
		Ghezzi:1980:APS%
		}.
\NAMECITE{Independence}{%
		Hibbard:1966:IIA%
		}.
\NAMECITE{Independence-Reducible}{%
		Chan:1991:IRD%
		}.
\NAMECITE{Independent}{%
		Ginsburg:1961:CSI%
		}.
\NAMECITE{Index}{%
		Anonymous:1958:AI%
		}.
\NAMECITE{Index-Digit}{%
		Fraser:1976:API%
		}.
\NAMECITE{indexability}{%
		Hellerstein:2002:MIB%
		}.
\NAMECITE{Indexed}{%
		Aho:1968:IGE%
		}.
\NAMECITE{Indexes}{%
		Abiteboul:1986:TSL%
		}.
\NAMECITE{Indexing}{%
		Maron:1960:RPI%
		}.
\NAMECITE{induction}{%
		Pitts:2006:ASR%
		}.
\NAMECITE{Inductive}{%
		Kramer:1962:NSC%
		}.
\NAMECITE{Inequalities}{%
		Shostak:1981:DLI%
		}.
\NAMECITE{{INF}}{%
		Shostak:1977:SIM%
		}.
\NAMECITE{Inference}{%
		Kramer:1962:NSC%
		}.
\NAMECITE{Inferring}{%
		Sagiv:1980:AIM%
		}.
\NAMECITE{Infinite}{%
		Greibach:1969:IHC%
		}.
\NAMECITE{Infinitesimal}{%
		Suri:1987:IPA%
		}.
\NAMECITE{Influence}{%
		Lowe:1968:IDB%
		}.
\NAMECITE{Information}{%
		Bracken:1956:GSH%
		}.
\NAMECITE{information-technology}{%
		Gray:2003:WND%
		}.
\NAMECITE{Information-Theoretic}{%
		Chaitin:1974:ITL%
		}.
\NAMECITE{Informational}{%
		Gutenmakher:1961:PUI%
		}.
\NAMECITE{Informational-Logical}{%
		Gutenmakher:1961:PUI%
		}.
\NAMECITE{Inherent}{%
		Ginsburg:1966:PUI%
		}.
\NAMECITE{Initial}{%
		Usmani:1966:BVT%
		}.
\NAMECITE{Initial-Value}{%
		Kagiwada:1970:IVT%
		}.
\NAMECITE{Initializing}{%
		Collings:1986:IGF%
		}.
\NAMECITE{Input}{%
		Mock:1959:SSP,%
		DiGri:1959:SSI%
		}.
\NAMECITE{Input-Error-Limiting}{%
		Winograd:1964:IEL%
		}.
\NAMECITE{Input-Independent}{%
		Ginsburg:1961:CSI%
		}.
\NAMECITE{Input-Output}{%
		Mock:1959:SSP,%
		DiGri:1959:SSI%
		}.
\NAMECITE{input-queued}{%
		Leonardi:2003:BDQ%
		}.
\NAMECITE{Input/\penalty0{}Output}{%
		Coffman:1969:ADI%
		}.
\NAMECITE{inputs}{%
		Ajtai:2002:CEU%
		}.
\NAMECITE{Inquiry}{%
		Maron:1961:AIE%
		}.
\NAMECITE{Instability}{%
		Krogh:1967:TIN%
		}.
\NAMECITE{Instance}{%
		deChampeaux:1986:SFI%
		}.
\NAMECITE{Instants}{%
		Sevcik:1981:DQN%
		}.
\NAMECITE{Institutions}{%
		Goguen:1992:IAM%
		}.
\NAMECITE{Instruction}{%
		Coffman:1983:ISE%
		}.
\NAMECITE{Instructions}{%
		Miller:1956:PCI%
		}.
\NAMECITE{Insurance}{%
		Wiseman:1954:LIP%
		}.
\NAMECITE{Integer}{%
		Miller:1960:IPF%
		}.
\NAMECITE{Integral}{%
		Thompson:1957:BMS%
		}.
\NAMECITE{Integrals}{%
		Witte:1958:EII%
		}.
\NAMECITE{Integrated}{%
		Bauer:1956:ICS%
		}.
\NAMECITE{Integrating}{%
		Rahme:1970:SAN%
		}.
\NAMECITE{Integration}{%
		Lotkin:1956:NMM%
		}.
\NAMECITE{integrity}{%
		Fan:2002:XIC%
		}.
\NAMECITE{Integro}{%
		Linz:1969:LMM%
		}.
\NAMECITE{Integro-Differential}{%
		Linz:1969:LMM%
		}.
\NAMECITE{intelligence}{%
		Feigenbaum:2003:SCG%
		}.
\NAMECITE{Interaction}{%
		Yershov:1965:OVM%
		}.
\NAMECITE{Interactive}{%
		Lund:1992:AMI%
		}.
\NAMECITE{Interarrival}{%
		Krishnamoorthi:1966:TSO%
		}.
\NAMECITE{Interconnection}{%
		Jump:1975:IAC%
		}.
\NAMECITE{Interdeparture}{%
		Tobagi:1982:DPD%
		}.
\NAMECITE{Interface}{%
		Ban:2006:ISP%
		}.
\NAMECITE{Interleaved}{%
		Burnett:1973:CPR%
		}.
\NAMECITE{Internal}{%
		Hildebrandt:1959:REI,%
		Goetz:1961:LE%
		}.
\NAMECITE{Interpolant}{%
		Shaw:1967:MMM%
		}.
\NAMECITE{interpolation}{%
		Ferguson:1964:MCI%
		}.
\NAMECITE{Interpolator}{%
		Moshos:1955:AIA%
		}.
\NAMECITE{interpretations}{%
		Giacobazzi:2000:MAI%
		}.
\NAMECITE{interpreted}{%
		Benedikt:2000:RQI%
		}.
\NAMECITE{Interprocess}{%
		Lamport:1986:MEPa%
		}.
\NAMECITE{Interrupting}{%
		Hofri:1975:PSD%
		}.
\NAMECITE{Intersecting}{%
		Chazelle:1992:OAI%
		}.
\NAMECITE{Intersection}{%
		Beeri:1986:EIA%
		}.
\NAMECITE{Intersections}{%
		Comba:1968:PDI%
		}.
\NAMECITE{Interval}{%
		Good:1970:CIA%
		}.
\NAMECITE{Intervals}{%
		Halpern:1991:PML%
		}.
\NAMECITE{Intractability}{%
		Mansour:1992:IBP%
		}.
\NAMECITE{intractable}{%
		Liberatore:2001:MRR%
		}.
\NAMECITE{Intrinsically}{%
		Jazayeri:1981:SCS%
		}.
\NAMECITE{Introduced}{%
		Cheng:1996:BEI%
		}.
\NAMECITE{Introduction}{%
		Salton:1971:I%
		}.
\NAMECITE{Invariance}{%
		Pippenger:1989:ICM%
		}.
\NAMECITE{Invariant}{%
		Doyle:1962:OUS%
		}.
\NAMECITE{Inventory}{%
		Chung:1957:TIC%
		}.
\NAMECITE{Inverse}{%
		Titus:1955:GCP,%
		Chazelve:2000:MST%
		}.
\NAMECITE{{Inverse-Ackermann}}{%
		Chazelve:2000:MST%
		}.
\NAMECITE{Inverses}{%
		Huang:1972:IPM%
		}.
\NAMECITE{Inversion}{%
		Markov:1958:ICS%
		}.
\NAMECITE{Inverted}{%
		Blumer:1987:CIF%
		}.
\NAMECITE{Invertible}{%
		Harrison:1963:NCI%
		}.
\NAMECITE{Inverting}{%
		Choudhury:1995:CNC%
		}.
\NAMECITE{Investigation}{%
		Totschek:1961:IRT%
		}.
\NAMECITE{Involving}{%
		Harlow:1957:HPI%
		}.
\NAMECITE{{IP}}{%
		Shamir:1992:IP%
		}.
\NAMECITE{Irreducibility}{%
		Musser:1978:EPI%
		}.
\NAMECITE{Irreducible}{%
		House:1963:ECP%
		}.
\NAMECITE{Irredundant}{%
		Batni:1974:EAF%
		}.
\NAMECITE{Isomorphism}{%
		Fleck:1962:IGA%
		}.
\NAMECITE{Iterated}{%
		Schubert:1974:ILR%
		}.
\NAMECITE{Iteration}{%
		Bauer:1958:MMI%
		}.
\NAMECITE{Iterations}{%
		Householder:1956:CMI%
		}.
\NAMECITE{Iterative}{%
		vonHoldt:1956:IPC%
		}.


\NAMECITE{J}{%
		Nagler:1961:LEA,%
		Chin:1981:JJF%
		}.
\NAMECITE{{J}-Maximal}{%
		Chin:1981:JJF%
		}.
\NAMECITE{{J}-Minimal}{%
		Chin:1981:JJF%
		}.
\NAMECITE{{J.}}{%
		Bui:1977:ECP%
		}.
\NAMECITE{{JACM}}{%
		Salton:1969:PJ%
		}.
\NAMECITE{{Jacobi}}{%
		Pope:1957:MFR%
		}.
\NAMECITE{Job}{%
		Fayolle:1980:SPA%
		}.
\NAMECITE{Jobs}{%
		Cotten:1974:PTS%
		}.
\NAMECITE{{Johnson}}{%
		Manacher:1979:FJS%
		}.
\NAMECITE{Join}{%
		Maier:1981:CTI%
		}.
\NAMECITE{Joins}{%
		Bernstein:1981:USJ%
		}.
\NAMECITE{Joint}{%
		deSouzaeSilva:1989:CJQ%
		}.
\NAMECITE{{Jordan}}{%
		Loizou:1969:NJC%
		}.
\NAMECITE{{Journal}}{%
		Anonymous:1968:CJA%
		}.
\NAMECITE{Justification}{%
		Apt:1983:FJP%
		}.


\NAMECITE{{Kanellakis}}{%
		Anonymous:1998:MPC%
		}.
\NAMECITE{{Karp}}{%
		Zadeh:1972:TEE%
		}.
\NAMECITE{Kedma}{%
		Attar:1978:KLT%
		}.
\NAMECITE{Kernel}{%
		Kacewicz:1979:IKS%
		}.
\NAMECITE{Kernels}{%
		Kagiwada:1970:IVT%
		}.
\NAMECITE{Key}{%
		Bolour:1979:OPM,%
		McGee:1959:GKS%
		}.
\NAMECITE{Keys}{%
		Toyoda:1966:AAA%
		}.
\NAMECITE{Kilter}{%
		Singh:1986:IMS%
		}.
\NAMECITE{Kind}{%
		DiDonato:1959:NFC%
		}.
\NAMECITE{Kinds}{%
		Lee-Whiting:1963:EFC%
		}.
\NAMECITE{Kinodynamic}{%
		Donald:1993:KMP%
		}.
\NAMECITE{Knapsack}{%
		Horowitz:1974:CPA%
		}.
\NAMECITE{knot}{%
		Hass:1999:CCK%
		}.
\NAMECITE{Know}{%
		Fagin:1992:WCM%
		}.
\NAMECITE{Knowledge}{%
		Halpern:1990:KCK,%
		Halpern:1992:LKG%
		}.
\NAMECITE{{Knowledge-Based}}{%
		Halpern:1992:LKG%
		}.
\NAMECITE{{Knuth}}{%
		Pfaltz:1975:RGK%
		}.
\NAMECITE{{Kronecker}}{%
		Andrews:1970:KMC%
		}.
\NAMECITE{{Kuratowski}}{%
		Williamson:1984:DFS%
		}.
\NAMECITE{{Kutta}}{%
		Conte:1956:KTO%
		}.


\NAMECITE{Labeling}{%
		Srinivasan:1972:AAL%
		}.
\NAMECITE{Labelling}{%
		Dillencourt:1992:GAC%
		}.
\NAMECITE{{Lagrangian}}{%
		Jain:2001:AAM%
		}.
\NAMECITE{{Laguerre}}{%
		Weeks:1966:NIL%
		}.
\NAMECITE{{LALR}}{%
		Sippu:1983:CLK%
		}.
\NAMECITE{Lambda}{%
		OHearn:2000:APL%
		}.
\NAMECITE{Lambda-calculus}{%
		OHearn:2000:APL%
		}.
\NAMECITE{Language}{%
		Brown:1958:LT%
		}.
\NAMECITE{Languages}{%
		Brooker:1962:GTP,%
		Graham:1977:PTA%
		}.
\NAMECITE{{Laplace}}{%
		Titus:1955:GCP%
		}.
\NAMECITE{Large}{%
		Harlow:1957:HPI%
		}.
\NAMECITE{Large-Scale}{%
		Kautz:1971:ACA%
		}.
\NAMECITE{Largest}{%
		Gauss:1961:LLW%
		}.
\NAMECITE{Last}{%
		Matula:1983:SLO%
		}.
\NAMECITE{Latency}{%
		Knuth:1961:MDL%
		}.
\NAMECITE{Latent}{%
		Baker:1962:IRB%
		}.
\NAMECITE{Lattice}{%
		Farr:1963:LPS%
		}.
\NAMECITE{lattice-based}{%
		Regev:2004:NLB%
		}.
\NAMECITE{lattices}{%
		Khot:2005:HAS%
		}.
\NAMECITE{Law}{%
		Erdelyi:1966:ROL%
		}.
\NAMECITE{Laws}{%
		Hennessy:1985:ALN%
		}.
\NAMECITE{Layout}{%
		Ramachandran:1986:DML%
		}.
\NAMECITE{Leader}{%
		Frederickson:1987:ELS%
		}.
\NAMECITE{learn}{%
		Hellerstein:1996:HMQ%
		}.
\NAMECITE{Learnability}{%
		Blumer:1989:LVC%
		}.
\NAMECITE{Learning}{%
		Pitt:1988:CLL%
		}.
\NAMECITE{Least}{%
		Goldstein:1957:BLA%
		}.
\NAMECITE{left}{%
		Toyama:1995:TDS%
		}.
\NAMECITE{left-linear}{%
		Toyama:1995:TDS%
		}.
\NAMECITE{Legality}{%
		Baer:1970:LOP%
		}.
\NAMECITE{Lemma}{%
		Bader:1982:GOL%
		}.
\NAMECITE{Lemmas}{%
		Peterson:1976:TPL%
		}.
\NAMECITE{Length}{%
		Loberman:1957:FPC%
		}.
\NAMECITE{Length-Limited}{%
		Larmore:1990:FAO%
		}.
\NAMECITE{Lengths}{%
		Wolman:1965:FOC%
		}.
\NAMECITE{Lenses}{%
		Agarwal:2004:LAP%
		}.
\NAMECITE{Letter}{%
		Wheeler:1959:LE%
		}.
\NAMECITE{Letters}{%
		Ercoli:1960:LEE%
		}.
\NAMECITE{Level}{%
		House:1963:ECP%
		}.
\NAMECITE{Level-Clocked}{%
		Ishii:1997:OTP%
		}.
\NAMECITE{Levels}{%
		Zarechnak:1959:TLL%
		}.
\NAMECITE{Lexicographic}{%
		Abiteboul:1986:TSL%
		}.
\NAMECITE{{Lie}}{%
		Beck:1972:CAR%
		}.
\NAMECITE{Life}{%
		Wiseman:1954:LIP%
		}.
\NAMECITE{Like}{%
		Ginsburg:1963:SRU%
		}.
\NAMECITE{likelihood}{%
		Chor:2006:FML%
		}.
\NAMECITE{Limit}{%
		Montanari:1970:LPD%
		}.
\NAMECITE{Limitations}{%
		Schroeder:1964:IDS%
		}.
\NAMECITE{Limited}{%
		Reinwald:1966:CLE%
		}.
\NAMECITE{Limited-Entry}{%
		Reinwald:1966:CLE%
		}.
\NAMECITE{Limiting}{%
		Winograd:1964:IEL%
		}.
\NAMECITE{Limits}{%
		Nayak:2006:LAQ%
		}.
\NAMECITE{{Lin}}{%
		Manacher:1979:SIH%
		}.
\NAMECITE{line}{%
		Parter:1961:SCR%
		}.
\NAMECITE{Linear}{%
		Crandall:1955:IVE,%
		Eppstein:1992:SDPa%
		}.
\NAMECITE{Linear-Time}{%
		Manacher:1975:NLT%
		}.
\NAMECITE{Lines}{%
		Hicks:1967:NSP%
		}.
\NAMECITE{Linguistic}{%
		Zarechnak:1959:TLL%
		}.
\NAMECITE{Linguistics}{%
		Irani:1971:NLC%
		}.
\NAMECITE{link}{%
		Hass:1999:CCK%
		}.
\NAMECITE{linked}{%
		Ben-Amram:2006:BSL%
		}.
\NAMECITE{{LISP}}{%
		Boyer:1975:PTA%
		}.
\NAMECITE{List}{%
		Gelernter:1960:FCL%
		}.
\NAMECITE{List-Processing}{%
		Gelernter:1960:FCL%
		}.
\NAMECITE{List-Storage}{%
		Ginsburg:1968:OWN%
		}.
\NAMECITE{Listings}{%
		Scott:1958:APF%
		}.
\NAMECITE{Lists}{%
		Mendelson:1979:PMO%
		}.
\NAMECITE{Literals}{%
		Vries:1971:MSD%
		}.
\NAMECITE{Literature}{%
		Doyle:1961:SRM%
		}.
\NAMECITE{Little}{%
		Halpern:1992:LKG%
		}.
\NAMECITE{Live}{%
		Kou:1977:LDA%
		}.
\NAMECITE{Live-Dead}{%
		Kou:1977:LDA%
		}.
\NAMECITE{{Lively}}{%
		Nagler:1961:LEA%
		}.
\NAMECITE{{LL}}{%
		Beatty:1982:RBL%
		}.
\NAMECITE{Load}{%
		Brandwajn:1977:QMM%
		}.
\NAMECITE{Loading}{%
		Arora:1973:OSL%
		}.
\NAMECITE{Local}{%
		Akima:1970:NMI%
		}.
\NAMECITE{Localization}{%
		Grimson:1986:CLC%
		}.
\NAMECITE{locally}{%
		Frick:2001:DFO%
		}.
\NAMECITE{Locates}{%
		Hueckel:1971:OWL%
		}.
\NAMECITE{Locating}{%
		Gauss:1961:LLW%
		}.
\NAMECITE{Location}{%
		Newman:1965:LMU%
		}.
\NAMECITE{{Lock}}{%
		Shalev:2006:SOL%
		}.
\NAMECITE{{Lock-free}}{%
		Shalev:2006:SOL%
		}.
\NAMECITE{Locking}{%
		Yannakakis:1982:TSL%
		}.
\NAMECITE{Locks}{%
		Kedem:1983:LPE%
		}.
\NAMECITE{Log}{%
		Lynch:1977:LSR%
		}.
\NAMECITE{Logarithmic}{%
		Reif:1987:LTS%
		}.
\NAMECITE{Logemann}{%
		Nieuwenhuis:2006:SSS%
		}.
\NAMECITE{Logic}{%
		Burks:1957:LAPa%
		}.
\NAMECITE{Logic-Based}{%
		Eiter:1995:CLA%
		}.
\NAMECITE{Logical}{%
		Mock:1956:LOP%
		}.
\NAMECITE{Logically}{%
		Vries:1971:MSD%
		}.
\NAMECITE{Logics}{%
		Clarke:1983:EAH%
		}.
\NAMECITE{Logspace}{%
		Lipton:1977:WPS%
		}.
\NAMECITE{Long}{%
		Brown:1956:PPM%
		}.
\NAMECITE{Longest}{%
		Aho:1976:BCL%
		}.
\NAMECITE{Look}{%
		Macon:1957:CLP%
		}.
\NAMECITE{Look-Ahead}{%
		Sandewall:1969:PPS%
		}.
\NAMECITE{Look-Up}{%
		Macon:1957:CLP%
		}.
\NAMECITE{Lookup}{%
		Papachristou:1987:ATL%
		}.
\NAMECITE{Loop}{%
		Hempstead:1956:PLE%
		}.
\NAMECITE{Loop-Free}{%
		Blikle:1972:AUC%
		}.
\NAMECITE{Loopless}{%
		Ehrlich:1973:LAG%
		}.
\NAMECITE{looseness}{%
		vanBeek:1997:CTL%
		}.
\NAMECITE{Lopsided}{%
		Kapoor:1989:OLB%
		}.
\NAMECITE{Loss}{%
		Sevcik:1974:SMT%
		}.
\NAMECITE{Lossless}{%
		Gilpin:2007:LAI%
		}.
\NAMECITE{{Loveland}}{%
		Nieuwenhuis:2006:SSS%
		}.
\NAMECITE{Low}{%
		Lagarias:1985:SLD,%
		Chien:1995:PRL%
		}.
\NAMECITE{{Low-Cost}}{%
		Chien:1995:PRL%
		}.
\NAMECITE{Low-Density}{%
		Lagarias:1985:SLD%
		}.
\NAMECITE{low-rank}{%
		Frieze:2004:FMC%
		}.
\NAMECITE{Lower}{%
		Slagle:1970:ITR,%
		Hunt:1978:CLB%
		}.
\NAMECITE{{LP}}{%
		Mohring:1999:ASS%
		}.
\NAMECITE{{LP}-based}{%
		Mohring:1999:ASS%
		}.
\NAMECITE{{LR}}{%
		Mickunas:1976:CCP%
		}.
\NAMECITE{{LRU}}{%
		ONeil:1999:OPL%
		}.
\NAMECITE{{LRU-}}{%
		ONeil:1999:OPL%
		}.


\NAMECITE{M}{%
		Rider:1976:SAA,%
		Rider:1976:SAA%
		}.
\NAMECITE{{M/M/1}}{%
		Rider:1976:SAA%
		}.
\NAMECITE{{M/M/C}}{%
		Omahen:1978:AAD%
		}.
\NAMECITE{{M/M/m}}{%
		Lazar:1984:OFC%
		}.
\NAMECITE{Machine}{%
		Wasel:1954:MDP,%
		Trexler:1954:PUC%
		}.
\NAMECITE{Machine-Independent}{%
		Blum:1967:MIT%
		}.
\NAMECITE{Machine-Oriented}{%
		Robinson:1965:MOL%
		}.
\NAMECITE{{Machinery}}{%
		Williams:1954:ACM%
		}.
\NAMECITE{Machines}{%
		Bergman:1954:MSB%
		}.
\NAMECITE{Macro}{%
		Engelfriet:1980:SMC%
		}.
\NAMECITE{made}{%
		Ben-Sasson:2001:SPN%
		}.
\NAMECITE{{Maehly}}{%
		Dunham:1965:CPM%
		}.
\NAMECITE{Magic}{%
		Ross:1994:MSM%
		}.
\NAMECITE{Magnetic}{%
		Hamilton:1954:IMD,%
		Trexler:1954:PUC%
		}.
\NAMECITE{Magnified}{%
		Shrager:1970:NRL%
		}.
\NAMECITE{Main}{%
		Smith:1979:CSP%
		}.
\NAMECITE{Maintain}{%
		Dean:1989:UTH%
		}.
\NAMECITE{Maintained}{%
		Smith:1962:MAN%
		}.
\NAMECITE{Maintaining}{%
		Fredman:1982:CMA%
		}.
\NAMECITE{Maintenance}{%
		Graney:1955:MAT%
		}.
\NAMECITE{{Makanin}}{%
		Koscielski:1996:CMA%
		}.
\NAMECITE{Make}{%
		Sethi:1982:UAM%
		}.
\NAMECITE{Makespan}{%
		Bruno:1981:STE%
		}.
\NAMECITE{Making}{%
		Slagle:1964:EAF,%
		Murray:1993:DMP%
		}.
\NAMECITE{Man}{%
		Sackman:1964:ICO%
		}.
\NAMECITE{Man-Machine}{%
		Sackman:1964:ICO%
		}.
\NAMECITE{manage}{%
		Bansal:2007:SSM%
		}.
\NAMECITE{Management}{%
		Holdiman:1962:MTR%
		}.
\NAMECITE{Managers}{%
		Jaffe:1983:DSR%
		}.
\NAMECITE{Managing}{%
		Gal:2001:MPU%
		}.
\NAMECITE{manipulate}{%
		Conitzer:2007:WEF%
		}.
\NAMECITE{Manipulating}{%
		Brent:1978:FAM%
		}.
\NAMECITE{Manipulation}{%
		Floyd:1961:DLS%
		}.
\NAMECITE{Manual}{%
		Blair:1959:CTM%
		}.
\NAMECITE{Manuscript}{%
		Anonymous:1968:CJA%
		}.
\NAMECITE{Many}{%
		Morrison:1959:NQM%
		}.
\NAMECITE{Many-Sorted}{%
		Walther:1988:MSU%
		}.
\NAMECITE{Map}{%
		Chen:2002:MG%
		}.
\NAMECITE{Mapping}{%
		Rabinowitz:1966:NEC%
		}.
\NAMECITE{Mappings}{%
		Ginsburg:1964:SMM%
		}.
\NAMECITE{Maps}{%
		Doyle:1961:SRM%
		}.
\NAMECITE{market}{%
		Blum:2006:OAM%
		}.
\NAMECITE{marking}{%
		Adler:2005:TOP%
		}.
\NAMECITE{{Markov}}{%
		Bhat:1971:BPA%
		}.
\NAMECITE{{Markov}-Chain-Driven}{%
		Hofri:1984:AIS%
		}.
\NAMECITE{{Markovian}}{%
		McKenna:1984:AEI%
		}.
\NAMECITE{Marriage}{%
		Irving:1987:EAO%
		}.
\NAMECITE{Master}{%
		Blumenthal:1958:DMF%
		}.
\NAMECITE{Match}{%
		Flajolet:1986:PMR%
		}.
\NAMECITE{Matching}{%
		Gabow:1976:EIE%
		}.
\NAMECITE{Mathematical}{%
		Bergman:1954:MSB%
		}.
\NAMECITE{Mathematics}{%
		Guard:1969:SAM%
		}.
\NAMECITE{Matings}{%
		Andrews:1981:TPM%
		}.
\NAMECITE{Matrices}{%
		Dwyer:1957:MRM%
		}.
\NAMECITE{Matrix}{%
		Pulvari:1955:DCR%
		}.
\NAMECITE{Matrix-Algebraic}{%
		Liefvoort:1986:MAS%
		}.
\NAMECITE{Max}{%
		Bunch:1971:ESM,%
		Chin:1986:SPI%
		}.
\NAMECITE{max-flow}{%
		Leighton:1999:MMM%
		}.
\NAMECITE{Max-Min}{%
		Perl:1981:MMT%
		}.
\NAMECITE{Max-Norm}{%
		Bunch:1971:ESM%
		}.
\NAMECITE{Maxima}{%
		Kung:1975:FMS%
		}.
\NAMECITE{Maximal}{%
		Certaine:1958:SPR%
		}.
\NAMECITE{Maximization}{%
		Hammer:1972:MPB%
		}.
\NAMECITE{Maximizing}{%
		Pope:1957:MFR%
		}.
\NAMECITE{Maximum}{%
		Newman:1965:LMU%
		}.
\NAMECITE{Maximum-Finding}{%
		Pachl:1984:LBD%
		}.
\NAMECITE{Maximum-Flow}{%
		Goldberg:1988:NAM%
		}.
\NAMECITE{Maximum-Genus}{%
		Furst:1988:FMG%
		}.
\NAMECITE{May}{%
		Gurevich:1990:NLT%
		}.
\NAMECITE{Meager}{%
		Leivant:1988:MRF%
		}.
\NAMECITE{Mean}{%
		Benschop:1971:MSE,%
		Reiser:1981:CMV%
		}.
\NAMECITE{Mean-Value}{%
		Reiser:1980:MVA,%
		Reiser:1981:CMV%
		}.
\NAMECITE{meaning}{%
		Bol:1996:MNP%
		}.
\NAMECITE{Means}{%
		Heizer:1956:TFS%
		}.
\NAMECITE{Measure}{%
		Donatiello:1987:ACP%
		}.
\NAMECITE{Measurement}{%
		Feldman:1981:MBF%
		}.
\NAMECITE{Measurements}{%
		Goodman:1958:COL%
		}.
\NAMECITE{Measures}{%
		Pippenger:1979:RAC%
		}.
\NAMECITE{Mechanical}{%
		Prawitz:1960:MPP,%
		Loveland:1969:ESF%
		}.
\NAMECITE{Mechanisms}{%
		Murray:1955:MR%
		}.
\NAMECITE{Mechanization}{%
		Bareiss:1960:RPM%
		}.
\NAMECITE{Mechanized}{%
		OConnor:1964:MIM%
		}.
\NAMECITE{Media}{%
		Hoover:1956:WTD%
		}.
\NAMECITE{median}{%
		Ostrovsky:2002:PTA,%
		Jain:2001:AAM%
		}.
\NAMECITE{Membership}{%
		Beaudry:1992:MPA%
		}.
\NAMECITE{Membrane}{%
		Gerberich:1957:CCM%
		}.
\NAMECITE{Memoriam}{%
		Anonymous:1998:MPC%
		}.
\NAMECITE{Memories}{%
		Falkoff:1962:APS%
		}.
\NAMECITE{Memory}{%
		Pulvari:1955:DCR%
		}.
\NAMECITE{Memory-Constrained}{%
		Fuchs:1985:MCT%
		}.
\NAMECITE{{MERCURY}}{%
		Brown:1969:MSC%
		}.
\NAMECITE{Merge}{%
		Frazer:1972:BOM%
		}.
\NAMECITE{Merging}{%
		Goetz:1961:LE%
		}.
\NAMECITE{{Mersenne}}{%
		Fraenkel:1961:UIC%
		}.
\NAMECITE{Mesh}{%
		Morrison:1962:OMS%
		}.
\NAMECITE{Mesh-Connected}{%
		Nassimi:1980:ORA%
		}.
\NAMECITE{Message}{%
		Pollack:1964:MRC%
		}.
\NAMECITE{Message-Passing}{%
		Attiya:1995:SMR%
		}.
\NAMECITE{messages}{%
		Nayak:2006:LAQ%
		}.
\NAMECITE{Metalgorithm}{%
		Rice:1975:MAQ%
		}.
\NAMECITE{metatheory}{%
		Pirri:1999:SCM%
		}.
\NAMECITE{Method}{%
		Bergman:1954:MSB%
		}.
\NAMECITE{Methodology}{%
		Summers:1977:MLP%
		}.
\NAMECITE{Methods}{%
		Gorn:1957:SPM%
		}.
\NAMECITE{metric}{%
		Lee:1980:TDV%
		}.
\NAMECITE{Metrical}{%
		Borodin:1992:OLA%
		}.
\NAMECITE{metrics}{%
		Even:2000:DCA%
		}.
\NAMECITE{{MGS}}{%
		Plemmons:1974:LLS%
		}.
\NAMECITE{Micro}{%
		Mercer:1957:MP%
		}.
\NAMECITE{Micro-Programming}{%
		Mercer:1957:MP%
		}.
\NAMECITE{Microcellular}{%
		Minnick:1967:SMR%
		}.
\NAMECITE{microprocessor}{%
		Boyer:1996:APO%
		}.
\NAMECITE{Microprogramming}{%
		Glantz:1956:NM%
		}.
\NAMECITE{{MIDAC}}{%
		Graney:1955:MAT%
		}.
\NAMECITE{Midpoint}{%
		Lotkin:1956:NMM%
		}.
\NAMECITE{{Milne}}{%
		Keitel:1956:EMT%
		}.
\NAMECITE{{MIMD}}{%
		Lord:1983:SLA%
		}.
\NAMECITE{Mimimax}{%
		Valentine:1963:AMP%
		}.
\NAMECITE{Min}{%
		Perl:1981:MMT,%
		Chin:1986:SPI%
		}.
\NAMECITE{Min-Cost}{%
		Galil:1988:MMC%
		}.
\NAMECITE{Min-Cut}{%
		Yannakakis:1985:PAM%
		}.
\NAMECITE{min-entropies}{%
		Shaltiel:2005:SEA%
		}.
\NAMECITE{Min-Max}{%
		Becker:1982:SAM%
		}.
\NAMECITE{min-sum}{%
		Ostrovsky:2002:PTA%
		}.
\NAMECITE{Mini}{%
		Dechter:2003:MBG%
		}.
\NAMECITE{Mini-buckets}{%
		Dechter:2003:MBG%
		}.
\NAMECITE{Minima}{%
		Berman:1969:LAM%
		}.
\NAMECITE{Minimal}{%
		Conte:1956:KTO%
		}.
\NAMECITE{minimality}{%
		vanBeek:1995:MGC%
		}.
\NAMECITE{Minimax}{%
		Curtis:1959:ADP%
		}.
\NAMECITE{Minimization}{%
		Lawler:1964:AMB%
		}.
\NAMECITE{Minimize}{%
		Grossman:1973:PRS%
		}.
\NAMECITE{Minimizing}{%
		Knuth:1961:MDL%
		}.
\NAMECITE{Minimum}{%
		Loberman:1957:FPC,%
		Reinwald:1966:CLE%
		}.
\NAMECITE{Minimum-Cost}{%
		Slagle:1964:EAF%
		}.
\NAMECITE{minor}{%
		Demaine:2005:SPA%
		}.
\NAMECITE{Miss}{%
		Fagin:1976:IMR%
		}.
\NAMECITE{Missile}{%
		Ormsby:1961:DNF%
		}.
\NAMECITE{Mixed}{%
		Conte:1960:ADM%
		}.
\NAMECITE{{ML}}{%
		Kfoury:1994:AMT%
		}.
\NAMECITE{Mobile}{%
		Awerbuch:1995:OTM%
		}.
\NAMECITE{Modal}{%
		McDermott:1982:NLI%
		}.
\NAMECITE{Model}{%
		Giammo:1964:MMA%
		}.
\NAMECITE{Model-Based}{%
		Grimson:1986:CLC%
		}.
\NAMECITE{Model-Theoretic}{%
		Fagin:1991:MTA%
		}.
\NAMECITE{Modeled}{%
		Bhat:1971:BPA%
		}.
\NAMECITE{Modeling}{%
		Zeigler:1972:TFT%
		}.
\NAMECITE{Models}{%
		Hemmerle:1964:ASS%
		}.
\NAMECITE{Modern}{%
		Bauer:1958:MMI%
		}.
\NAMECITE{Modification}{%
		Greenwald:1959:SSP%
		}.
\NAMECITE{Modified}{%
		Johansen:1961:MGM%
		}.
\NAMECITE{Modular}{%
		Rao:1965:MMA%
		}.
\NAMECITE{Modularity}{%
		Arkin:1991:MCP%
		}.
\NAMECITE{Modulators}{%
		Blanyer:1955:PMD%
		}.
\NAMECITE{Module}{%
		Gusfield:1983:PCC%
		}.
\NAMECITE{Modules}{%
		Mamelak:1966:PCL%
		}.
\NAMECITE{Modulo}{%
		Nieuwenhuis:2006:SSS%
		}.
\NAMECITE{Modulus}{%
		Lehmer:1957:SCR%
		}.
\NAMECITE{Moments}{%
		Alt:1962:DPR%
		}.
\NAMECITE{Monadic}{%
		Ashcroft:1973:DPM%
		}.
\NAMECITE{Monitoring}{%
		Swift:1957:MFM%
		}.
\NAMECITE{Monogenic}{%
		Hooper:1966:MPN%
		}.
\NAMECITE{monoids}{%
		MixBarrington:1988:FMF%
		}.
\NAMECITE{Monotone}{%
		Tal:1969:MDO%
		}.
\NAMECITE{Monotonic}{%
		Liberatore:2001:MRR%
		}.
\NAMECITE{{Monte}}{%
		Hammersley:1956:CMC%
		}.
\NAMECITE{{Monte-Carlo}}{%
		Frieze:2004:FMC%
		}.
\NAMECITE{Morphic}{%
		Ehrenfeucht:1981:MRC%
		}.
\NAMECITE{Morphisms}{%
		Zeigler:1972:TFT%
		}.
\NAMECITE{Morphological}{%
		Meyers:1965:MCN%
		}.
\NAMECITE{Morphology}{%
		Fairthorne:1967:MIF%
		}.
\NAMECITE{Morse}{%
		Blair:1959:CTM%
		}.
\NAMECITE{Motion}{%
		Donald:1993:KMP%
		}.
\NAMECITE{{Motivation}}{%
		Garey:1978:SNC%
		}.
\NAMECITE{Movable}{%
		Gotlieb:1973:PMH%
		}.
\NAMECITE{Movable-Head}{%
		Gotlieb:1973:PMH%
		}.
\NAMECITE{moves}{%
		Franceschini:2005:PSC%
		}.
\NAMECITE{Moving}{%
		Ehrlich:1958:NMS%
		}.
\NAMECITE{Moving-Head}{%
		Oney:1975:QAS%
		}.
\NAMECITE{{Mr.}}{%
		Nagler:1961:LEA%
		}.
\NAMECITE{Much}{%
		Hochbaum:1990:CSO%
		}.
\NAMECITE{Multi}{%
		Babad:1975:GME%
		}.
\NAMECITE{Multi-Class}{%
		Dowdy:1992:SCB%
		}.
\NAMECITE{Multi-Entrance}{%
		Babad:1975:GME%
		}.
\NAMECITE{Multi-Facility}{%
		Conway:1994:EDM%
		}.
\NAMECITE{multi-writer}{%
		Ellen:2007:TLB%
		}.
\NAMECITE{Multicategory}{%
		Bledsoe:1966:SRM%
		}.
\NAMECITE{Multichain}{%
		Reiser:1980:MVA%
		}.
\NAMECITE{Multiclass}{%
		Ross:1994:MCS%
		}.
\NAMECITE{Multicommodity}{%
		Leighton:1999:MMM%
		}.
\NAMECITE{Multicounter}{%
		Ibarra:1978:RBM%
		}.
\NAMECITE{Multidimensional}{%
		Hartt:1964:SAP%
		}.
\NAMECITE{Multifunctional}{%
		Curtis:1959:MCF%
		}.
\NAMECITE{multigraphs}{%
		Kaplan:2005:AAA%
		}.
\NAMECITE{Multihead}{%
		Fischer:1972:RSM%
		}.
\NAMECITE{Multilayer}{%
		Berger:1995:NOA%
		}.
\NAMECITE{Multilevel}{%
		Lawler:1964:AMB%
		}.
\NAMECITE{multimedia}{%
		Marcus:1996:FMD%
		}.
\NAMECITE{Multimodule}{%
		Wong:1974:CPR%
		}.
\NAMECITE{Multiobjective}{%
		Stewart:1991:MA%
		}.
\NAMECITE{Multioperand}{%
		Papachristou:1987:ATL%
		}.
\NAMECITE{Multiparameter}{%
		Weil:1955:RRM%
		}.
\NAMECITE{multiparty}{%
		Joung:1996:CSC%
		}.
\NAMECITE{Multiple}{%
		Davis:1954:MPO%
		}.
\NAMECITE{Multiple-Bank}{%
		Flores:1964:DWT%
		}.
\NAMECITE{Multiple-Chain}{%
		Conway:1986:RNE%
		}.
\NAMECITE{Multiple-Class}{%
		Eager:1986:BHM%
		}.
\NAMECITE{Multiple-Gradient}{%
		Klingman:1964:NPA%
		}.
\NAMECITE{Multiple-Key}{%
		Bolour:1979:OPM%
		}.
\NAMECITE{Multiple-Precision}{%
		Brent:1976:FMP%
		}.
\NAMECITE{Multiplication}{%
		Edwards:1954:SAM%
		}.
\NAMECITE{Multiplications}{%
		Shaw:1974:NME%
		}.
\NAMECITE{Multiplicative}{%
		Smith:1971:MPR%
		}.
\NAMECITE{Multiplicities}{%
		Greenberg:1987:EMC%
		}.
\NAMECITE{multiplicity}{%
		Beimel:2000:LFR%
		}.
\NAMECITE{Multiplier}{%
		Fraenkel:1961:UIC%
		}.
\NAMECITE{Multipoint}{%
		Tornheim:1964:CMI%
		}.
\NAMECITE{Multiprocessing}{%
		Chen:1972:MRM%
		}.
\NAMECITE{Multiprocessor}{%
		Muntz:1970:PSR%
		}.
\NAMECITE{Multiprocessors}{%
		Baudet:1978:AIM%
		}.
\NAMECITE{Multiprogrammed}{%
		Dennis:1965:SDM%
		}.
\NAMECITE{Multiprogramming}{%
		Heller:1961:SAM%
		}.
\NAMECITE{Multiprogramming-Multiprocessor}{%
		Latouche:1981:AAM%
		}.
\NAMECITE{Multipurpose}{%
		Slagle:1968:EMT%
		}.
\NAMECITE{Multiread}{%
		Haldar:1995:CMM%
		}.
\NAMECITE{Multiresource}{%
		Omahen:1977:CBM%
		}.
\NAMECITE{Multisalesmen}{%
		Bellmore:1974:TMP%
		}.
\NAMECITE{Multiserver}{%
		Crane:1974:SSSa%
		}.
\NAMECITE{Multisets}{%
		Johnson:1978:LBS%
		}.
\NAMECITE{Multistage}{%
		Harrison:1990:RMI%
		}.
\NAMECITE{Multistep}{%
		Gragg:1964:GMP%
		}.
\NAMECITE{Multitape}{%
		Kobayashi:1966:CPD%
		}.
\NAMECITE{Multiterminal}{%
		Gao:1994:CRM%
		}.
\NAMECITE{multithreaded}{%
		Blumofe:1999:SMC%
		}.
\NAMECITE{Multivalued}{%
		Mendelzon:1979:AMD%
		}.
\NAMECITE{Multivariable}{%
		Ferguson:1964:MCI%
		}.
\NAMECITE{Multivariate}{%
		Collins:1971:CMP%
		}.
\NAMECITE{Multiwrite}{%
		Porter:1966:UMG%
		}.
\NAMECITE{Mutual}{%
		Burns:1982:DRI%
		}.


\NAMECITE{Names}{%
		Leiner:1961:SGP%
		}.
\NAMECITE{Naming}{%
		Bass:1973:OHN%
		}.
\NAMECITE{{Naqvi}}{%
		Briggs:1990:CTC%
		}.
\NAMECITE{narrow{}}{%
		Ben-Sasson:2001:SPN%
		}.
\NAMECITE{narrowing}{%
		Antoy:2000:NNS%
		}.
\NAMECITE{{National}}{%
		Meyers:1965:MCN%
		}.
\NAMECITE{Natural}{%
		Chaitin:1969:SSP%
		}.
\NAMECITE{{NC}}{%
		MixBarrington:1988:FMF%
		}.
\NAMECITE{Near}{%
		Fraser:1965:SMC%
		}.
\NAMECITE{near-linear}{%
		Karger:2000:MCN%
		}.
\NAMECITE{near-logarithmic}{%
		Chan:2001:DPC%
		}.
\NAMECITE{Near-Minimax}{%
		Fraser:1965:SMC%
		}.
\NAMECITE{Near-Optimal}{%
		Garey:1976:CNO%
		}.
\NAMECITE{Nearest}{%
		Callahan:1995:DMP%
		}.
\NAMECITE{Nearly}{%
		Cao:1985:IAD%
		}.
\NAMECITE{Necessary}{%
		Esch:1960:NSC%
		}.
\NAMECITE{Needed}{%
		Greenberg:1985:LBT%
		}.
\NAMECITE{Negation}{%
		Ross:1994:MSM%
		}.
\NAMECITE{Negative}{%
		Goldberg:1989:FMC%
		}.
\NAMECITE{Neighbor}{%
		Miller:1997:SSN%
		}.
\NAMECITE{Neighborhood}{%
		Supowit:1983:RNG%
		}.
\NAMECITE{Neighbors}{%
		Callahan:1995:DMP%
		}.
\NAMECITE{Nested}{%
		Aho:1969:NSA%
		}.
\NAMECITE{Nets}{%
		Jeffrey:1956:AAD%
		}.
\NAMECITE{Network}{%
		Pollack:1964:MRC%
		}.
\NAMECITE{Networks}{%
		Huffman:1957:DUH%
		}.
\NAMECITE{Neural}{%
		Arbib:1961:TMF%
		}.
\NAMECITE{neuroidal}{%
		Valiant:2000:NAC%
		}.
\NAMECITE{neuromata}{%
		Sima:1998:TN%
		}.
\NAMECITE{Never}{%
		Emerson:1986:SNN%
		}.
\NAMECITE{News}{%
		Anonymous:1954:NR%
		}.
\NAMECITE{{Newsletter}}{%
		Neumann:1954:SODa%
		}.
\NAMECITE{{Newton}}{%
		Zeleznik:1968:QNM%
		}.
\NAMECITE{next}{%
		Baker:1979:CMB%
		}.
\NAMECITE{{Nicholas}}{%
		Yershov:1965:OVM%
		}.
\NAMECITE{No}{%
		Rock:1984:TMN%
		}.
\NAMECITE{No-Wait}{%
		Rock:1984:TMN%
		}.
\NAMECITE{No-Waiting}{%
		Tay:1985:MVP%
		}.
\NAMECITE{Node}{%
		Yen:1972:FLA%
		}.
\NAMECITE{Nodes}{%
		Earnest:1972:AGO%
		}.
\NAMECITE{Noise}{%
		Bshouty:1998:NDL%
		}.
\NAMECITE{Noise-tolerant}{%
		Bshouty:1998:NDL%
		}.
\NAMECITE{Non}{%
		Ukkonen:1982:EPS%
		}.
\NAMECITE{Non-{FIFO}}{%
		Mansour:1992:IBP%
		}.
\NAMECITE{non-probabilistic}{%
		Halpern:2007:CRA%
		}.
\NAMECITE{Non-Real-Time}{%
		Ukkonen:1982:EPS%
		}.
\NAMECITE{Nonarithmetic}{%
		Lombardi:1962:MSN%
		}.
\NAMECITE{Nonclairvoyant}{%
		Becchetti:2004:NSM%
		}.
\NAMECITE{nonclairvoyantly}{%
		Kalyanasundaram:2003:MFT%
		}.
\NAMECITE{Nonclausal}{%
		Abadi:1990:NDF%
		}.
\NAMECITE{Nonconstructive}{%
		Fellows:1988:NTP%
		}.
\NAMECITE{Noncooperative}{%
		Korilis:1995:EEN%
		}.
\NAMECITE{Noncounting}{%
		Reghizzi:1978:NCF%
		}.
\NAMECITE{Nondeterminism}{%
		Mei-rui:1983:RNR%
		}.
\NAMECITE{Nondeterministic}{%
		Floyd:1967:NA%
		}.
\NAMECITE{Nondistinct}{%
		Burge:1976:ABS%
		}.
\NAMECITE{{Nonequilibrium}}{%
		Kobayashi:1974:ADAb%
		}.
\NAMECITE{Nonidentical}{%
		Horowitz:1976:EAA%
		}.
\NAMECITE{Nonlinear}{%
		Klopfenstein:1961:ZNF%
		}.
\NAMECITE{Nonmonotonic}{%
		McDermott:1982:NLI,%
		McDermott:1982:NLI%
		}.
\NAMECITE{Nonnegative}{%
		Yen:1972:FLA%
		}.
\NAMECITE{Nonnegative-Distance}{%
		Yen:1972:FLA%
		}.
\NAMECITE{Nonnested}{%
		Engelfriet:1980:SMC%
		}.
\NAMECITE{Nonnormality}{%
		Loizou:1969:NJC%
		}.
\NAMECITE{Nonnumerical}{%
		Brans:1967:CPN%
		}.
\NAMECITE{Nonoblivious}{%
		Fiat:1992:NH%
		}.
\NAMECITE{Nonpolynomial}{%
		Shaw:1967:MMM%
		}.
\NAMECITE{Nonpreemptive}{%
		Coffman:1993:PCP%
		}.
\NAMECITE{Nonpriority}{%
		Mitrani:1972:NMS%
		}.
\NAMECITE{Nonstandard}{%
		Ballantyne:1977:APT%
		}.
\NAMECITE{Nonsymmetric}{%
		Householder:1958:UTN%
		}.
\NAMECITE{Nonuniform}{%
		Garey:1976:STN%
		}.
\NAMECITE{{Nordsieck}}{%
		Kohfeld:1968:MNM%
		}.
\NAMECITE{Norm}{%
		Bunch:1971:ESM%
		}.
\NAMECITE{Normal}{%
		Goldstine:1959:PDN%
		}.
\NAMECITE{Normal-Form}{%
		Greibach:1965:NNF%
		}.
\NAMECITE{Normalization}{%
		Lam:1982:DSG%
		}.
\NAMECITE{Normalized}{%
		Cuthill:1959:MNB%
		}.
\NAMECITE{Norms}{%
		Sheldon:1959:SNS%
		}.
\NAMECITE{Notation}{%
		Raoult:1983:PNC%
		}.
\NAMECITE{Note}{%
		Glantz:1956:NM%
		}.
\NAMECITE{Notes}{%
		Greenberger:1961:NNP%
		}.
\NAMECITE{Nothing}{%
		Goldreich:1991:PYN%
		}.
\NAMECITE{Notices}{%
		Anonymous:1954:NR%
		}.
\NAMECITE{Notion}{%
		Mylopoulos:1971:TPQa%
		}.
\NAMECITE{Notions}{%
		Graham:1986:NDS%
		}.
\NAMECITE{{NP}}{%
		Garey:1978:SNC%
		}.
\NAMECITE{{NP}-Complete}{%
		Gurari:1979:NCN%
		}.
\NAMECITE{{NP}-Completeness}{%
		Garey:1978:SNC%
		}.
\NAMECITE{{NP}-Hard}{%
		Gurevich:1984:SNH%
		}.
\NAMECITE{{NQL}}{%
		Schnorr:1978:SQC%
		}.
\NAMECITE{Null}{%
		Reiter:1986:SSC%
		}.
\NAMECITE{Number}{%
		Lehmer:1957:CNS%
		}.
\NAMECITE{Number-Theoretic}{%
		Gurari:1979:NCN%
		}.
\NAMECITE{Numbers}{%
		Moshman:1954:GPR%
		}.
\NAMECITE{Numeric}{%
		Chu:1981:NME%
		}.
\NAMECITE{Numerical}{%
		Crandall:1954:NTF%
		}.
\NAMECITE{Numerically}{%
		Choudhury:1995:CNC%
		}.


\NAMECITE{{O}}{%
		Cotten:1974:PTS%
		}.
\NAMECITE{Object}{%
		Yakimovsky:1976:BOD%
		}.
\NAMECITE{Object-Creating}{%
		VandenBussche:1997:COC%
		}.
\NAMECITE{Object-Oriented}{%
		Kifer:1995:LFO%
		}.
\NAMECITE{Objective}{%
		Phuong:1976:SIP%
		}.
\NAMECITE{Objects}{%
		Comba:1968:PDI%
		}.
\NAMECITE{oblivious}{%
		Goldreich:1996:SPS%
		}.
\NAMECITE{Observation}{%
		Bertsch:1975:ORP%
		}.
\NAMECITE{Obstacles}{%
		Reif:1994:MPP%
		}.
\NAMECITE{Obtain}{%
		Clark:1979:PLC%
		}.
\NAMECITE{Obtaining}{%
		Peterka:1962:MOS%
		}.
\NAMECITE{Octave}{%
		Negron:1966:DOT%
		}.
\NAMECITE{Odd}{%
		Rodrigue:1979:OER%
		}.
\NAMECITE{Odd-Even}{%
		Rodrigue:1979:OER%
		}.
\NAMECITE{Off}{%
		Douglas:1959:REN%
		}.
\NAMECITE{Off-Step}{%
		Brush:1967:SOD%
		}.
\NAMECITE{Office}{%
		Brigham:1961:GSP%
		}.
\NAMECITE{Offs}{%
		DeMillo:1980:STT%
		}.
\NAMECITE{{Ogden}}{%
		Bader:1982:GOL%
		}.
\NAMECITE{old}{%
		Brooks:2003:TGC%
		}.
\NAMECITE{{Omega}}{%
		Mitra:1987:RPC%
		}.
\NAMECITE{On-Line}{%
		Manacher:1975:NLT%
		}.
\NAMECITE{Once}{%
		Angluin:1993:LRO%
		}.
\NAMECITE{One}{%
		Lipton:1957:TPT%
		}.
\NAMECITE{One-Dimensional}{%
		Fischer:1965:GPO%
		}.
\NAMECITE{One-Normal}{%
		Cook:1966:SDP%
		}.
\NAMECITE{One-Pass}{%
		Selkow:1972:OPC%
		}.
\NAMECITE{One-Plus-One}{%
		Lipton:1957:TPT%
		}.
\NAMECITE{One-Point}{%
		Kung:1974:OOO%
		}.
\NAMECITE{One-Register}{%
		Bruno:1976:CGO%
		}.
\NAMECITE{One-Tape}{%
		Hartmanis:1968:CCO%
		}.
\NAMECITE{One-Third}{%
		Negron:1966:DOT%
		}.
\NAMECITE{One-Way}{%
		Ginsburg:1967:OWS%
		}.
\NAMECITE{Online}{%
		Conn:1965:ODS%
		}.
\NAMECITE{{ONR}}{%
		Neumann:1954:SODa%
		}.
\NAMECITE{Open}{%
		Goodman:1958:COL%
		}.
\NAMECITE{Operating}{%
		Sackman:1964:ICO%
		}.
\NAMECITE{Operation}{%
		Weeg:1962:SAO%
		}.
\NAMECITE{Operation-Preserving}{%
		Weeg:1962:SAO%
		}.
\NAMECITE{Operational}{%
		Hamer:1955:TOA%
		}.
\NAMECITE{Operations}{%
		Ercoli:1960:LEE%
		}.
\NAMECITE{Operator}{%
		Jones:1962:ANA%
		}.
\NAMECITE{Operators}{%
		Lombardi:1961:SHF%
		}.
\NAMECITE{optical}{%
		Aggarwal:1996:ERO%
		}.
\NAMECITE{Optimal}{%
		Morrison:1962:OMS,%
		Nodine:1995:GSO%
		}.
\NAMECITE{Optimality}{%
		Frazer:1972:BOM%
		}.
\NAMECITE{Optimally}{%
		Fenner:1974:SNB%
		}.
\NAMECITE{Optimization}{%
		Shimizu:1969:SAM%
		}.
\NAMECITE{Optimized}{%
		Denman:1961:CGO,%
		Gardner:1961:LEC%
		}.
\NAMECITE{Optimizing}{%
		Gordon:1956:OPI%
		}.
\NAMECITE{Optimum}{%
		Crandall:1957:ORF%
		}.
\NAMECITE{{OR-dispersers}}{%
		Srinivasan:1998:EOP%
		}.
\NAMECITE{Oracle}{%
		Kurtz:1995:ICF%
		}.
\NAMECITE{Oracles}{%
		Balcazar:1986:PTH%
		}.
\NAMECITE{Orbit}{%
		Dyer:1968:GMM%
		}.
\NAMECITE{Order}{%
		Crandall:1954:NTF%
		}.
\NAMECITE{Ordered}{%
		Mendelson:1979:PMO%
		}.
\NAMECITE{Ordering}{%
		Rose:1971:NCO%
		}.
\NAMECITE{Orderings}{%
		Bachmair:1994:EIC%
		}.
\NAMECITE{Ordinal}{%
		Bass:1973:OHN%
		}.
\NAMECITE{Ordinary}{%
		Gray:1955:PTE%
		}.
\NAMECITE{{ORDVAC}}{%
		Young:1955:OSD%
		}.
\NAMECITE{Organization}{%
		Mock:1956:LOP,%
		Estrin:1962:CA%
		}.
\NAMECITE{Organizations}{%
		Gauss:1959:CMO%
		}.
\NAMECITE{Organizing}{%
		Allen:1978:SOB%
		}.
\NAMECITE{orientable}{%
		Verdiere:2007:OPD%
		}.
\NAMECITE{Oriented}{%
		Grau:1962:TOS%
		}.
\NAMECITE{Origin}{%
		Li:1959:ODC%
		}.
\NAMECITE{Orphan}{%
		Herlihy:1992:COM%
		}.
\NAMECITE{Orthogonal}{%
		Ascher:1958:SEU%
		}.
\NAMECITE{Orthographic}{%
		Weiss:1966:VPI%
		}.
\NAMECITE{Orthologic}{%
		Rawling:2000:OQL%
		}.
\NAMECITE{Orthonormal}{%
		Rabinowitz:1966:NEC%
		}.
\NAMECITE{Orthonormalizing}{%
		Davis:1954:MPO%
		}.
\NAMECITE{Oscillating}{%
		Sobel:1962:OSN%
		}.
\NAMECITE{Other}{%
		Baer:1970:LOP%
		}.
\NAMECITE{Out-of-Kilter}{%
		Singh:1986:IMS%
		}.
\NAMECITE{Outerplanar}{%
		Beyer:1979:LAI%
		}.
\NAMECITE{Outline}{%
		Holland:1962:OLT%
		}.
\NAMECITE{Outlines}{%
		Hobby:1993:GAT%
		}.
\NAMECITE{Output}{%
		Mock:1959:SSP,%
		DiGri:1959:SSI%
		}.
\NAMECITE{Output-Buffer}{%
		Hofri:1977:COB%
		}.
\NAMECITE{Overdetermined}{%
		Goldstein:1957:BLA%
		}.
\NAMECITE{Overflow}{%
		Ercoli:1960:LEE%
		}.
\NAMECITE{Overhead}{%
		Lewis:1971:CQM%
		}.
\NAMECITE{Overlap}{%
		Cotten:1974:PTS%
		}.
\NAMECITE{Overview}{%
		Hartmanis:1971:OTC%
		}.
\NAMECITE{owned}{%
		Dymond:2000:PRO%
		}.
\NAMECITE{Ownership}{%
		Banerjee:2005:OCE%
		}.


\NAMECITE{{P}}{%
		Cook:2003:IPV%
		}.
\NAMECITE{{P.}}{%
		Zhang:2003:EPV%
		}.
\NAMECITE{Package}{%
		Weiss:1966:VPI%
		}.
\NAMECITE{Packet}{%
		Fayolle:1977:SOC%
		}.
\NAMECITE{Packet-Routing}{%
		Upfal:1992:DPR%
		}.
\NAMECITE{Packing}{%
		Yao:1980:NAB%
		}.
\NAMECITE{Packings}{%
		Miller:1997:SSN%
		}.
\NAMECITE{{PACT}}{%
		Baker:1956:PCS%
		}.
\NAMECITE{Page}{%
		Aho:1971:POP%
		}.
\NAMECITE{Paged}{%
		Coffman:1969:ADI%
		}.
\NAMECITE{Pagenumber}{%
		Heath:1992:PGG%
		}.
\NAMECITE{Paging}{%
		Franaszek:1974:SDA%
		}.
\NAMECITE{Pair}{%
		Yeh:1968:GPA%
		}.
\NAMECITE{pairing}{%
		Fredman:1999:EPH%
		}.
\NAMECITE{Pairs}{%
		Perl:1978:FTD%
		}.
\NAMECITE{pairwise}{%
		Kleinberg:2002:AAC%
		}.
\NAMECITE{Palindrome}{%
		Manacher:1975:NLT%
		}.
\NAMECITE{Palstar}{%
		Galil:1978:LTL%
		}.
\NAMECITE{pants}{%
		Verdiere:2007:OPD%
		}.
\NAMECITE{Paper}{%
		Hoover:1956:WTD%
		}.
\NAMECITE{Paper-Tape}{%
		Hoover:1956:WTD%
		}.
\NAMECITE{Papers}{%
		OConnor:1965:ASR,%
		Anonymous:1979:CPF%
		}.
\NAMECITE{Parabolic}{%
		Crandall:1954:NTF%
		}.
\NAMECITE{Paradoxes}{%
		Kameda:2002:PDD%
		}.
\NAMECITE{Parallel}{%
		Schwartz:1961:ASP%
		}.
\NAMECITE{Parallel-Connected}{%
		Han:1990:EFP%
		}.
\NAMECITE{Parallel-Search}{%
		Falkoff:1962:APS%
		}.
\NAMECITE{Parallelism}{%
		Keller:1973:PPSa%
		}.
\NAMECITE{Parameter}{%
		Peterka:1962:MOS%
		}.
\NAMECITE{parameterized}{%
		Demaine:2005:SPA%
		}.
\NAMECITE{Parameters}{%
		Winder:1971:CPT%
		}.
\NAMECITE{Parametric}{%
		Lin:1977:DPG%
		}.
\NAMECITE{Parametricity}{%
		OHearn:1995:PLV%
		}.
\NAMECITE{Parametrization}{%
		Ehrich:1982:TSI%
		}.
\NAMECITE{Paraphrase}{%
		Schank:1975:IPC%
		}.
\NAMECITE{Parenthesis}{%
		McNaughton:1967:PG%
		}.
\NAMECITE{{Paris}}{%
		Anonymous:1998:MPC%
		}.
\NAMECITE{Parity}{%
		Calingaert:1961:TDP%
		}.
\NAMECITE{Parsers}{%
		Ghezzi:1980:APS%
		}.
\NAMECITE{Parsing}{%
		Shaw:1970:PGR%
		}.
\NAMECITE{Part}{%
		Burks:1957:LAPa,%
		Borko:1964:ADC%
		}.
\NAMECITE{Partial}{%
		Crandall:1954:NTF%
		}.
\NAMECITE{Particularly}{%
		Ercoli:1957:EDO%
		}.
\NAMECITE{Partition}{%
		Easton:1975:ECC%
		}.
\NAMECITE{Partitioning}{%
		Pease:1969:IMP%
		}.
\NAMECITE{Partitions}{%
		Kernighan:1971:OSP%
		}.
\NAMECITE{Parts}{%
		Maehly:1963:MFR%
		}.
\NAMECITE{Pass}{%
		Selkow:1972:OPC%
		}.
\NAMECITE{Passes}{%
		Engelfriet:1989:PSV%
		}.
\NAMECITE{Passing}{%
		Ward:1980:STM%
		}.
\NAMECITE{Passive}{%
		Vries:1971:MSD%
		}.
\NAMECITE{Past}{%
		Naughton:1994:HFP%
		}.
\NAMECITE{Path}{%
		Hoffman:1959:MSB%
		}.
\NAMECITE{Path-Connectivity}{%
		Yelowitz:1975:DPC%
		}.
\NAMECITE{path-merging}{%
		Huson:2002:GPM%
		}.
\NAMECITE{Paths}{%
		Yen:1972:FLA%
		}.
\NAMECITE{{PATRICIA}}{%
		Morrison:1968:PPA%
		}.
\NAMECITE{Pattern}{%
		Keller:1961:FAP%
		}.
\NAMECITE{Pattern-of-Calls}{%
		Arbib:1982:PCE%
		}.
\NAMECITE{Payment}{%
		Salton:1960:NMP%
		}.
\NAMECITE{{PCP}}{%
		Dinur:2007:PTG%
		}.
\NAMECITE{{PCPs}}{%
		Goldreich:2006:LTC%
		}.
\NAMECITE{{PDA}s}{%
		Greibach:1980:SPS%
		}.
\NAMECITE{Pebble}{%
		Reischuk:1980:IBP%
		}.
\NAMECITE{Pebbles}{%
		Klawe:1985:TBB%
		}.
\NAMECITE{{Pell}}{%
		Hallgren:2007:PTQ%
		}.
\NAMECITE{\penalty0{}Disaggregation}{%
		Cao:1985:IAD%
		}.
\NAMECITE{\penalty0{}or}{%
		Hunt:1984:TTM%
		}.
\NAMECITE{\penalty0{}Output}{%
		Coffman:1969:ADI%
		}.
\NAMECITE{\penalty0{}Sleep}{%
		Leung:1993:ESS%
		}.
\NAMECITE{\penalty0{}Write}{%
		Calderbank:1984:OHS,%
		Haldar:2007:SRW%
		}.
\NAMECITE{Percentiles}{%
		Sherman:1957:DTP%
		}.
\NAMECITE{Perceptrons}{%
		Keller:1961:FAP%
		}.
\NAMECITE{Perfect}{%
		Hsu:1987:RPP%
		}.
\NAMECITE{Perfectly}{%
		Dolev:1993:PSM%
		}.
\NAMECITE{Perform}{%
		Winograd:1965:TRP%
		}.
\NAMECITE{Performability}{%
		deSouzaeSilva:1989:CAP%
		}.
\NAMECITE{Performance}{%
		Gauss:1959:CMO,%
		Gotlieb:1975:EPM%
		}.
\NAMECITE{Period}{%
		Bhat:1971:BPA%
		}.
\NAMECITE{Periodic}{%
		Bofinger:1958:PPP%
		}.
\NAMECITE{periodically}{%
		Gal:2001:MPU%
		}.
\NAMECITE{Periodicity}{%
		Harju:2007:PUW%
		}.
\NAMECITE{Periodification}{%
		Kutylowski:2000:PSC%
		}.
\NAMECITE{Periods}{%
		Fitzpatrick:1960:SBR%
		}.
\NAMECITE{permanent}{%
		Jerrum:2004:PTA%
		}.
\NAMECITE{Permutation}{%
		Waksman:1968:PN%
		}.
\NAMECITE{Permutations}{%
		Ehrlich:1973:LAG%
		}.
\NAMECITE{Permuting}{%
		Gottlieb:1984:CRP%
		}.
\NAMECITE{Persistent}{%
		Landweber:1978:PCF%
		}.
\NAMECITE{Perspective}{%
		Kubert:1968:PRF%
		}.
\NAMECITE{Persymmetric}{%
		Huang:1972:IPM%
		}.
\NAMECITE{Perturbation}{%
		Suri:1987:IPA%
		}.
\NAMECITE{Perturbed}{%
		Rohlicek:1988:RPM%
		}.
\NAMECITE{{Petri}}{%
		Landweber:1978:PCF%
		}.
\NAMECITE{Phase}{%
		Buckley:1985:BTP%
		}.
\NAMECITE{phenomena}{%
		MacKenzie:1998:CRP%
		}.
\NAMECITE{Phenomenon}{%
		Goldstein:1973:MP%
		}.
\NAMECITE{Philadelphia}{%
		Householder:1956:PAA%
		}.
\NAMECITE{Phrase}{%
		Brooker:1962:GTP%
		}.
\NAMECITE{Physical}{%
		Heath:1988:PMP%
		}.
\NAMECITE{Physics}{%
		Bergman:1954:MSB%
		}.
\NAMECITE{pi}{%
		Pierce:2000:BEP%
		}.
\NAMECITE{pi-calculus}{%
		Pierce:2000:BEP%
		}.
\NAMECITE{Picture}{%
		Rosenfeld:1966:SOD%
		}.
\NAMECITE{Pictures}{%
		Rosenfeld:1970:CDP%
		}.
\NAMECITE{pigeonhole}{%
		Raz:2004:RLB%
		}.
\NAMECITE{{PILOT}}{%
		Leiner:1959:PNM%
		}.
\NAMECITE{Pivot}{%
		Mulvey:1978:PSP%
		}.
\NAMECITE{{PL360}}{%
		Wirth:1968:PPL%
		}.
\NAMECITE{place}{%
		Franceschini:2005:PSC%
		}.
\NAMECITE{Placement}{%
		Mamelak:1966:PCL%
		}.
\NAMECITE{Planar}{%
		Hsu:1987:RPP%
		}.
\NAMECITE{Planar-Adaptive}{%
		Chien:1995:PRL%
		}.
\NAMECITE{Planarity}{%
		Hopcroft:1974:EPT%
		}.
\NAMECITE{Plane}{%
		Weiss:1966:VPI%
		}.
\NAMECITE{Planning}{%
		Sandewall:1969:PPS%
		}.
\NAMECITE{Plans}{%
		Bauer:1959:APP%
		}.
\NAMECITE{Plate}{%
		Wasel:1954:MDP%
		}.
\NAMECITE{Plausibility}{%
		Friedman:2001:PMD%
		}.
\NAMECITE{Player}{%
		Philippatos:1971:ECI%
		}.
\NAMECITE{Playing}{%
		Berlekamp:1963:PDD%
		}.
\NAMECITE{Plotting}{%
		Bashkow:1958:CPR%
		}.
\NAMECITE{Pluralism}{%
		Smith:1982:PPA%
		}.
\NAMECITE{Plus}{%
		Lipton:1957:TPT%
		}.
\NAMECITE{Point}{%
		Keitel:1956:EMT%
		}.
\NAMECITE{Point-Disjoint}{%
		Boesch:1977:CPD%
		}.
\NAMECITE{point-to-point}{%
		Fekete:1998:ISC%
		}.
\NAMECITE{pointer}{%
		Goodrich:1996:SPP%
		}.
\NAMECITE{Pointers}{%
		Ben-Amram:1992:PVA%
		}.
\NAMECITE{Points}{%
		Byrne:1966:PRK%
		}.
\NAMECITE{{Poisson}}{%
		Laasonen:1958:SPD%
		}.
\NAMECITE{Polarized}{%
		Chien:1974:DSM%
		}.
\NAMECITE{Poles}{%
		Stineman:1965:DTD%
		}.
\NAMECITE{Policies}{%
		Bauer:1959:APP%
		}.
\NAMECITE{Policy}{%
		Salton:1969:PJ%
		}.
\NAMECITE{Polling}{%
		Konheim:1974:WLT%
		}.
\NAMECITE{Poly}{%
		Holm:2001:PLD%
		}.
\NAMECITE{Poly-logarithmic}{%
		Holm:2001:PLD%
		}.
\NAMECITE{Polyadic}{%
		Grzymala-Busse:1969:APA%
		}.
\NAMECITE{Polygon}{%
		Lee:1979:OAF%
		}.
\NAMECITE{Polygonal}{%
		Asano:1986:PPR%
		}.
\NAMECITE{Polyhedra}{%
		Cohen:1979:TAD%
		}.
\NAMECITE{polyhedral}{%
		Aleksandrov:2005:DAS%
		}.
\NAMECITE{Polylog}{%
		Cohen:2000:PNW%
		}.
\NAMECITE{Polylog-time}{%
		Cohen:2000:PNW%
		}.
\NAMECITE{polylogarithmic}{%
		Srinivasan:1998:EOP%
		}.
\NAMECITE{polymorphic}{%
		OHearn:2000:APL%
		}.
\NAMECITE{Polynomial}{%
		Curtis:1959:ADP%
		}.
\NAMECITE{Polynomial-Space}{%
		Lichtenstein:1980:GPS%
		}.
\NAMECITE{Polynomial-Time}{%
		Hirschberg:1976:PTA%
		}.
\NAMECITE{Polynomials}{%
		Ascher:1958:SEU%
		}.
\NAMECITE{polytope}{%
		Agarwal:1997:ASP%
		}.
\NAMECITE{Polytopes}{%
		Chand:1970:ACP%
		}.
\NAMECITE{Positive}{%
		Butler:1978:ADF%
		}.
\NAMECITE{Post}{%
		Brigham:1961:GSP%
		}.
\NAMECITE{Posteriori}{%
		Tsao:1974:SPE%
		}.
\NAMECITE{Postman}{%
		Frederickson:1979:AAS%
		}.
\NAMECITE{Potential}{%
		Callahan:1995:DMP%
		}.
\NAMECITE{Potentiometers}{%
		Heizer:1956:TFS%
		}.
\NAMECITE{Power}{%
		Henrici:1956:ACP%
		}.
\NAMECITE{Powerful}{%
		Gurari:1985:DPP%
		}.
\NAMECITE{Powers}{%
		Nipkow:1990:UPA%
		}.
\NAMECITE{Practical}{%
		Fike:1959:NPC%
		}.
\NAMECITE{{PRAM}}{%
		Beame:1989:OBD%
		}.
\NAMECITE{Pre}{%
		Osborne:1960:PCM%
		}.
\NAMECITE{Pre-Conditioning}{%
		Osborne:1960:PCM%
		}.
\NAMECITE{Precedence}{%
		Marimont:1959:NMC%
		}.
\NAMECITE{Precedence-Based}{%
		Tsitsiklis:1986:PPB%
		}.
\NAMECITE{Precision}{%
		Blanyer:1955:PMD%
		}.
\NAMECITE{Predicate}{%
		Manna:1969:PPF%
		}.
\NAMECITE{Predicates}{%
		Kobayashi:1966:CPD%
		}.
\NAMECITE{Predicting}{%
		Coleman:1986:PFS%
		}.
\NAMECITE{Prediction}{%
		Carroll:1967:APP%
		}.
\NAMECITE{Predictor}{%
		Hamming:1959:SPC%
		}.
\NAMECITE{Predictor-Corrector}{%
		Hamming:1959:SPC%
		}.
\NAMECITE{Predictors}{%
		Kohfeld:1967:MMM%
		}.
\NAMECITE{Preemptive}{%
		Muntz:1970:PSR%
		}.
\NAMECITE{prefetching}{%
		Vitter:1996:OPD%
		}.
\NAMECITE{Prefix}{%
		Perl:1975:EGO%
		}.
\NAMECITE{premises}{%
		Bol:1996:MNP%
		}.
\NAMECITE{Premium}{%
		Wiseman:1954:LIP%
		}.
\NAMECITE{Preparation}{%
		Scott:1958:APF%
		}.
\NAMECITE{{Presburger}}{%
		Shostak:1977:SIM%
		}.
\NAMECITE{Presence}{%
		Pease:1980:RAP%
		}.
\NAMECITE{Presentations}{%
		Rosenberg:1970:NAC%
		}.
\NAMECITE{Preservation}{%
		Ginsburg:1966:PUI%
		}.
\NAMECITE{Preserve}{%
		Ginsburg:1963:OWP%
		}.
\NAMECITE{Preserved}{%
		Ginsburg:1960:CPP%
		}.
\NAMECITE{Preserving}{%
		Weeg:1962:SAO%
		}.
\NAMECITE{Presidential}{%
		Householder:1957:RPA,%
		Householder:1956:PAA%
		}.
\NAMECITE{{Pressburger}}{%
		Suzuki:1980:VDP%
		}.
\NAMECITE{Prevention}{%
		Brown:1956:PPM%
		}.
\NAMECITE{Primal}{%
		Srinivasan:1973:BCA%
		}.
\NAMECITE{primal-dual}{%
		Jain:2001:AAM%
		}.
\NAMECITE{Primal-Simplex}{%
		Mulvey:1978:PSP%
		}.
\NAMECITE{Primality}{%
		Goldwasser:1999:PTU%
		}.
\NAMECITE{Prime}{%
		Smith:1971:MPR%
		}.
\NAMECITE{Primes}{%
		Fraenkel:1961:UIC%
		}.
\NAMECITE{primitive}{%
		Abiteboul:1998:OIQ%
		}.
\NAMECITE{Primitives}{%
		Stark:1982:SPS%
		}.
\NAMECITE{principal}{%
		Hallgren:2007:PTQ%
		}.
\NAMECITE{Principle}{%
		Robinson:1965:MOL%
		}.
\NAMECITE{Principles}{%
		Aho:1971:POP%
		}.
\NAMECITE{Priori}{%
		Edwards:1964:CPP%
		}.
\NAMECITE{Priorities}{%
		Adiri:1969:CTS%
		}.
\NAMECITE{Priority}{%
		Adiri:1971:DTS%
		}.
\NAMECITE{privacy}{%
		Franklin:2000:EGG%
		}.
\NAMECITE{Private}{%
		Chor:1998:PIR%
		}.
\NAMECITE{Probabilistic}{%
		Maron:1960:RPI%
		}.
\NAMECITE{Probabilistically}{%
		Kaminski:1989:NPV%
		}.
\NAMECITE{Probabilities}{%
		Weintraub:1962:CBP%
		}.
\NAMECITE{Probability}{%
		Sheng:1965:TLE%
		}.
\NAMECITE{Probe}{%
		Gonnet:1981:ELL%
		}.
\NAMECITE{Probing}{%
		Mendelson:1980:NAA%
		}.
\NAMECITE{Problem}{%
		Young:1955:OSD%
		}.
\NAMECITE{Problem-Solving}{%
		Quinlan:1968:FDP%
		}.
\NAMECITE{Problems}{%
		Brock:1954:PAT%
		}.
\NAMECITE{Procedural}{%
		Rosen:1979:DFA%
		}.
\NAMECITE{Procedure}{%
		Conte:1956:KTO%
		}.
\NAMECITE{Procedures}{%
		Loberman:1957:FPC%
		}.
\NAMECITE{Process}{%
		Carr:1958:EBR%
		}.
\NAMECITE{Processes}{%
		Bauer:1958:MMI%
		}.
\NAMECITE{Processing}{%
		Trexler:1954:PUC%
		}.
\NAMECITE{Processor}{%
		Coffman:1970:WTD%
		}.
\NAMECITE{Processor-Sharing}{%
		Coffman:1970:WTD%
		}.
\NAMECITE{Processors}{%
		Pease:1969:OLS%
		}.
\NAMECITE{Produced}{%
		Twomey:1963:NSF%
		}.
\NAMECITE{Producing}{%
		Miller:1956:PCI%
		}.
\NAMECITE{Product}{%
		Weeg:1965:AGD%
		}.
\NAMECITE{Product-Form}{%
		Samelson:1982:NPF%
		}.
\NAMECITE{Production}{%
		Melahn:1956:DCV%
		}.
\NAMECITE{Products}{%
		Erdelyi:1966:ROL%
		}.
\NAMECITE{Program}{%
		Titus:1955:GCP%
		}.
\NAMECITE{Programmability}{%
		Porter:1966:UMG%
		}.
\NAMECITE{Programmed}{%
		Boyell:1957:PMI,%
		Mock:1959:SSP%
		}.
\NAMECITE{Programmers}{%
		Rowan:1957:PTS%
		}.
\NAMECITE{Programming}{%
		Rutishauser:1955:SPT,%
		Greenwald:1959:SSP%
		}.
\NAMECITE{Programs}{%
		Israel:1957:STT%
		}.
\NAMECITE{progress}{%
		Halpern:1998:TPP%
		}.
\NAMECITE{Projection}{%
		Pyle:1964:GIC%
		}.
\NAMECITE{projections}{%
		McCarthy:2003:PPC%
		}.
\NAMECITE{Pronounceable}{%
		Leiner:1961:SGP%
		}.
\NAMECITE{Proof}{%
		Prawitz:1960:MPP%
		}.
\NAMECITE{proof-of-compliance}{%
		Li:2005:BPC%
		}.
\NAMECITE{Proofs}{%
		Ballantyne:1977:APT%
		}.
\NAMECITE{Propagated}{%
		Atta:1957:EPE%
		}.
\NAMECITE{Propagation}{%
		Gray:1955:PTE%
		}.
\NAMECITE{Proper}{%
		Fike:1959:NPC%
		}.
\NAMECITE{Properties}{%
		Ginsburg:1960:CPP%
		}.
\NAMECITE{Property}{%
		Broeder:1958:PSD%
		}.
\NAMECITE{Proposed}{%
		Fisher:1958:PMA%
		}.
\NAMECITE{Propositional}{%
		vanWestrhenen:1972:SST%
		}.
\NAMECITE{Prospects}{%
		Gutenmakher:1961:PUI%
		}.
\NAMECITE{Protection}{%
		Sandhu:1988:SPM%
		}.
\NAMECITE{Protein}{%
		Shapiro:1967:ARP%
		}.
\NAMECITE{protein-protein}{%
		Ban:2006:ISP%
		}.
\NAMECITE{Protocol}{%
		Bracha:1987:ERR%
		}.
\NAMECITE{Protocols}{%
		Kedem:1983:LPE%
		}.
\NAMECITE{Provably}{%
		Young:1977:OAP%
		}.
\NAMECITE{Prover}{%
		Winker:1982:GVF%
		}.
\NAMECITE{Provers}{%
		deChampeaux:1986:SFI%
		}.
\NAMECITE{Provide}{%
		Willard:1987:MST%
		}.
\NAMECITE{providing}{%
		Bazzi:2001:SFT%
		}.
\NAMECITE{Proving}{%
		Robinson:1963:TPC,%
		Dixon:1973:ZRT%
		}.
\NAMECITE{Pseudo}{%
		Moshman:1954:GPR%
		}.
\NAMECITE{Pseudo-{Boolean}}{%
		Hammer:1972:MPB%
		}.
\NAMECITE{pseudo-circles}{%
		Agarwal:2004:LAP%
		}.
\NAMECITE{Pseudo-Computer}{%
		Perkins:1956:EPC%
		}.
\NAMECITE{Pseudo-Random}{%
		Moshman:1954:GPR%
		}.
\NAMECITE{Pseudo-{Runge-Kutta}}{%
		Byrne:1966:PRK%
		}.
\NAMECITE{Pseudorandom}{%
		Kronmal:1964:EPN%
		}.
\NAMECITE{{PSPACE}}{%
		Shamir:1992:IP%
		}.
\NAMECITE{Psychological}{%
		Rowan:1957:PTS%
		}.
\NAMECITE{Public}{%
		Trexler:1954:PUC%
		}.
\NAMECITE{publication}{%
		Halpern:1998:TPP%
		}.
\NAMECITE{Publications}{%
		Bauer:1959:APP%
		}.
\NAMECITE{Punch}{%
		Bergman:1954:MSB%
		}.
\NAMECITE{Punched}{%
		Perley:1954:ASG%
		}.
\NAMECITE{Punched-Card}{%
		Wasel:1954:MDP%
		}.
\NAMECITE{punctuality}{%
		Alur:1996:BRP%
		}.
\NAMECITE{Purely}{%
		Culik:1979:PHC%
		}.
\NAMECITE{Purpose}{%
		Davis:1954:MPO%
		}.
\NAMECITE{Pushdown}{%
		Cook:1971:CPM,%
		Hirst:1994:PBC%
		}.
\NAMECITE{Putnam}{%
		Nieuwenhuis:2006:SSS%
		}.
\NAMECITE{{PV}}{%
		Henderson:1980:SPS%
		}.
\NAMECITE{Pyramid}{%
		Klawe:1985:TBB%
		}.


\NAMECITE{{QR}}{%
		Cosnard:1986:CPQ%
		}.
\NAMECITE{Quadratic}{%
		Freiberger:1960:CFF%
		}.
\NAMECITE{Quadrature}{%
		Morrison:1959:NQM%
		}.
\NAMECITE{Quadric}{%
		Weiss:1966:VPI%
		}.
\NAMECITE{Quadrilateral}{%
		Kaplan:1971:NQI%
		}.
\NAMECITE{Quadtrees}{%
		Samet:1981:CCL%
		}.
\NAMECITE{qualitative}{%
		Brafman:2000:ATT%
		}.
\NAMECITE{Quality}{%
		Nau:1983:DQF%
		}.
\NAMECITE{Quanta}{%
		Potier:1976:AAC%
		}.
\NAMECITE{Quantification}{%
		Davis:1960:CPQ%
		}.
\NAMECITE{quantifier}{%
		Basu:1996:CAC%
		}.
\NAMECITE{Quantifiers}{%
		Toran:1991:CCD%
		}.
\NAMECITE{{Quantile}}{%
		Iglehart:1976:SSS%
		}.
\NAMECITE{Quantized}{%
		Mylopoulos:1971:TPQa%
		}.
\NAMECITE{Quantum}{%
		Bhat:1979:ECE%
		}.
\NAMECITE{Quasi}{%
		Cryer:1967:NSQ%
		}.
\NAMECITE{Quasi-{Euclidean}}{%
		Montanari:1968:MOS%
		}.
\NAMECITE{Quasi-Linear}{%
		Cryer:1967:NSQ%
		}.
\NAMECITE{Quasi-{Newton}}{%
		Zeleznik:1968:QNM%
		}.
\NAMECITE{Quasicyclic}{%
		Hansen:1962:QJM%
		}.
\NAMECITE{Quasilinear}{%
		Schnorr:1978:SQC%
		}.
\NAMECITE{Queries}{%
		Bernstein:1981:USJ%
		}.
\NAMECITE{Query}{%
		Klug:1982:ERA%
		}.
\NAMECITE{Question}{%
		Cooper:1964:FRD%
		}.
\NAMECITE{Question-Answering}{%
		Cooper:1964:FRD%
		}.
\NAMECITE{Questions}{%
		Hopcroft:1968:DUQ%
		}.
\NAMECITE{Queue}{%
		Coffman:1969:ADI%
		}.
\NAMECITE{Queue-Dependent}{%
		Delbrouck:1970:FQS%
		}.
\NAMECITE{Queue-Length}{%
		deSouzaeSilva:1989:CJQ%
		}.
\NAMECITE{queued}{%
		Leonardi:2003:BDQ%
		}.
\NAMECITE{Queueing}{%
		Kleinrock:1966:SPM%
		}.
\NAMECITE{Queues}{%
		Adiri:1969:CTS%
		}.
\NAMECITE{Queuing}{%
		Reiser:1980:MVA%
		}.
\NAMECITE{Quotients}{%
		Ginsburg:1963:QCF%
		}.


\NAMECITE{R}{%
		Bui:1977:ECP%
		}.
\NAMECITE{{R.}}{%
		Zhang:2003:EPV%
		}.
\NAMECITE{Race}{%
		Brzozowski:1989:UFR%
		}.
\NAMECITE{Radius}{%
		Lubachevsky:1986:CAA%
		}.
\NAMECITE{Radix}{%
		Hildebrandt:1959:REI%
		}.
\NAMECITE{{RAMs}}{%
		Goldreich:1996:SPS%
		}.
\NAMECITE{{Ramsey}}{%
		Moran:1985:ART%
		}.
\NAMECITE{Random}{%
		Moshman:1954:GPR%
		}.
\NAMECITE{Random-Access}{%
		Trainiter:1963:ARA%
		}.
\NAMECITE{Randomization}{%
		deSouzaeSilva:1989:CAP%
		}.
\NAMECITE{Randomized}{%
		Mitra:1987:RPC%
		}.
\NAMECITE{Range}{%
		Grau:1963:RNR%
		}.
\NAMECITE{{Ranges}}{%
		Marek:1993:MNL%
		}.
\NAMECITE{rank}{%
		Frieze:2004:FMC%
		}.
\NAMECITE{Ranking}{%
		Yue:1973:OPR%
		}.
\NAMECITE{Raster}{%
		Chor:1986:ANT%
		}.
\NAMECITE{Raster-Graphics}{%
		Chor:1986:ANT%
		}.
\NAMECITE{Rasterizing}{%
		Hobby:1989:RCC%
		}.
\NAMECITE{Rate}{%
		Baumann:1958:HSR%
		}.
\NAMECITE{Rates}{%
		Stark:1956:RCN%
		}.
\NAMECITE{Ratio}{%
		Fagin:1976:IMR%
		}.
\NAMECITE{Rational}{%
		Henrici:1956:SCR%
		}.
\NAMECITE{Reach}{%
		Attiya:1994:BTR%
		}.
\NAMECITE{reachability}{%
		Thorup:2004:COR%
		}.
\NAMECITE{Reaching}{%
		Pease:1980:RAP%
		}.
\NAMECITE{reactive}{%
		Farias:2006:CEA%
		}.
\NAMECITE{{Read}}{%
		Haldar:2007:SRW%
		}.
\NAMECITE{Read-Once}{%
		Angluin:1993:LRO%
		}.
\NAMECITE{Read/\penalty0{}Write}{%
		Calderbank:1984:OHS,%
		Haldar:2007:SRW%
		}.
\NAMECITE{Real}{%
		Rubinoff:1955:DCR%
		}.
\NAMECITE{Real-Time}{%
		Rubinoff:1955:DCR%
		}.
\NAMECITE{Realistic}{%
		Chor:1989:SCT%
		}.
\NAMECITE{Realization}{%
		Copi:1958:REL%
		}.
\NAMECITE{Really}{%
		Alur:1994:RTL%
		}.
\NAMECITE{reason}{%
		Khardon:1997:LR%
		}.
\NAMECITE{Reasonable}{%
		Doyle:1965:ACR%
		}.
\NAMECITE{Reasoning}{%
		Oppen:1980:RAR%
		}.
\NAMECITE{{RECAL}}{%
		Conway:1986:RNE%
		}.
\NAMECITE{Recognition}{%
		Glantz:1957:RID%
		}.
\NAMECITE{Recognizes}{%
		Hueckel:1973:LVO%
		}.
\NAMECITE{Recognizing}{%
		Johnson:1971:PRZ%
		}.
\NAMECITE{Reconfiguration}{%
		Lee:1987:ORS%
		}.
\NAMECITE{Reconstructing}{%
		Shapiro:1967:ARP%
		}.
\NAMECITE{Recontamination}{%
		LaPaugh:1993:RDH%
		}.
\NAMECITE{Record}{%
		Cody:1976:RAM,%
		Cody:1976:ERA%
		}.
\NAMECITE{Recording}{%
		Perley:1954:ASG%
		}.
\NAMECITE{Records}{%
		Wolman:1965:FOC%
		}.
\NAMECITE{Recoverable}{%
		Tempero:1995:RST%
		}.
\NAMECITE{Rectangle}{%
		Mehlhorn:1986:RTR%
		}.
\NAMECITE{rectangular}{%
		Zwick:2002:APS%
		}.
\NAMECITE{Rectilinear}{%
		Hwang:1979:ARM%
		}.
\NAMECITE{Recurrence}{%
		Crandall:1955:IVE%
		}.
\NAMECITE{Recurrences}{%
		Kung:1976:NAL%
		}.
\NAMECITE{recurrent}{%
		Omlin:1996:CDF%
		}.
\NAMECITE{Recursion}{%
		Schubert:1974:ILR%
		}.
\NAMECITE{Recursive}{%
		Gautschi:1961:RCC%
		}.
\NAMECITE{Recursively}{%
		Ginsburg:1963:SRU%
		}.
\NAMECITE{Reduced}{%
		Dwyer:1957:MRM%
		}.
\NAMECITE{Reducibilities}{%
		Homer:1987:MDP%
		}.
\NAMECITE{Reducibility}{%
		Grzymala-Busse:1969:PRR%
		}.
\NAMECITE{Reducible}{%
		Hecht:1974:CRF%
		}.
\NAMECITE{Reduction}{%
		Weil:1955:RRM%
		}.
\NAMECITE{Reductions}{%
		Hunt:1978:LBR%
		}.
\NAMECITE{Redundancy}{%
		Schwartz:1963:DMR%
		}.
\NAMECITE{References}{%
		Downey:1978:ACA%
		}.
\NAMECITE{Refinement}{%
		Maddison:1966:PNL%
		}.
\NAMECITE{Refining}{%
		Mei-rui:1983:RNR%
		}.
\NAMECITE{Refutation}{%
		Chang:1971:CLR%
		}.
\NAMECITE{Refutational}{%
		Hsiang:1991:PRC%
		}.
\NAMECITE{Refutations}{%
		Henschen:1974:URH%
		}.
\NAMECITE{Regards}{%
		Ercoli:1957:EDO%
		}.
\NAMECITE{Regenerative}{%
		Iglehart:1978:RSR%
		}.
\NAMECITE{Region}{%
		Asano:1986:PPR%
		}.
\NAMECITE{Register}{%
		Young:1958:ASR%
		}.
\NAMECITE{Register-machine}{%
		Bergstra:2001:RMB%
		}.
\NAMECITE{Registers}{%
		Mowle:1967:AGS%
		}.
\NAMECITE{Regression}{%
		Walsh:1961:CFM%
		}.
\NAMECITE{Regular}{%
		Ott:1961:DSM%
		}.
\NAMECITE{Regularity}{%
		Valiant:1975:RRP%
		}.
\NAMECITE{Reinforcement}{%
		Cunningham:1985:OAR%
		}.
\NAMECITE{Relabeling}{%
		Srinivasan:1972:AAL%
		}.
\NAMECITE{Related}{%
		Ginsburg:1962:TFL%
		}.
\NAMECITE{Relating}{%
		Dubner:1968:NIL%
		}.
\NAMECITE{Relational}{%
		Mendelzon:1979:AMD%
		}.
\NAMECITE{Relations}{%
		Glauz:1965:NSO%
		}.
\NAMECITE{Relationship}{%
		Lewis:1967:SDS%
		}.
\NAMECITE{Relationships}{%
		Wojcik:1974:ASR%
		}.
\NAMECITE{Relative}{%
		Bertsch:1975:ORP%
		}.
\NAMECITE{Relativizations}{%
		Mei-rui:1983:RNR%
		}.
\NAMECITE{Relativized}{%
		Rackoff:1982:RQI%
		}.
\NAMECITE{Relativizing}{%
		Long:1986:RCC%
		}.
\NAMECITE{Relaxation}{%
		Juncosa:1960:ICR%
		}.
\NAMECITE{relaxations}{%
		Skutella:2001:CQS%
		}.
\NAMECITE{relaxing}{%
		Alur:1996:BRP%
		}.
\NAMECITE{Release}{%
		Martel:1982:PSR%
		}.
\NAMECITE{Relevance}{%
		Maron:1960:RPI%
		}.
\NAMECITE{Reliability}{%
		Jacobs:1954:ERA%
		}.
\NAMECITE{Reliable}{%
		Fekete:1993:IIR%
		}.
\NAMECITE{Remainder}{%
		Collins:1967:SRP%
		}.
\NAMECITE{remaindering}{%
		Agrawal:2003:PIT%
		}.
\NAMECITE{Remark}{%
		Yasuhara:1967:RPN%
		}.
\NAMECITE{Remarks}{%
		Cordray:1957:RRP,%
		Lively:1960:LEA%
		}.
\NAMECITE{Remote}{%
		Gaver:1971:ART%
		}.
\NAMECITE{Renamable}{%
		Slagle:1967:ATP%
		}.
\NAMECITE{Renaming}{%
		Lewis:1978:RSC%
		}.
\NAMECITE{Renamings}{%
		Logrippo:1978:REM%
		}.
\NAMECITE{Repairable}{%
		deSouzaeSilva:1989:CAP%
		}.
\NAMECITE{Repeated}{%
		Gray:1955:PTE%
		}.
\NAMECITE{Repeating}{%
		Naughton:1994:HFP%
		}.
\NAMECITE{Repetitive}{%
		Reynolds:1969:SGR%
		}.
\NAMECITE{Replacement}{%
		Aho:1971:POP%
		}.
\NAMECITE{Replete}{%
		Leivant:1988:MRF%
		}.
\NAMECITE{Replicated}{%
		Bloch:1987:WVA%
		}.
\NAMECITE{Replication}{%
		Waksman:1969:MR%
		}.
\NAMECITE{Report}{%
		Young:1956:REA%
		}.
\NAMECITE{Reporting}{%
		Chazelle:1990:LBOa%
		}.
\NAMECITE{Reports}{%
		Brown:1969:MSC%
		}.
\NAMECITE{Representable}{%
		Shaw:1970:PGR%
		}.
\NAMECITE{Representation}{%
		Spielberg:1961:RPS%
		}.
\NAMECITE{Representations}{%
		House:1963:ECP%
		}.
\NAMECITE{representative}{%
		Liberatore:2001:MRR%
		}.
\NAMECITE{represented}{%
		Beimel:2000:LFR%
		}.
\NAMECITE{Representing}{%
		Pfaltz:1975:RGK%
		}.
\NAMECITE{Reproducing}{%
		vonNeumann:1966:TSR%
		}.
\NAMECITE{Require}{%
		Adachi:1984:SCG%
		}.
\NAMECITE{Required}{%
		Winograd:1965:TRP%
		}.
\NAMECITE{Requirement}{%
		Reinwald:1967:CLE%
		}.
\NAMECITE{Requirements}{%
		Karp:1967:SBS%
		}.
\NAMECITE{requires}{%
		Lee:2002:FCF%
		}.
\NAMECITE{Requiring}{%
		Conte:1956:KTO%
		}.
\NAMECITE{Research}{%
		Bazilevskii:1957:UED%
		}.
\NAMECITE{Resequencing}{%
		Baccelli:1984:EEA%
		}.
\NAMECITE{Residue}{%
		Papachristou:1987:ATL%
		}.
\NAMECITE{Residues}{%
		Shostak:1981:DLI%
		}.
\NAMECITE{Resolution}{%
		Robinson:1965:MOL,%
		Ben-Sasson:2001:SPN%
		}.
\NAMECITE{Resolve}{%
		Greenberg:1985:LBT%
		}.
\NAMECITE{Resolving}{%
		Baker:1985:ARC%
		}.
\NAMECITE{Resource}{%
		Daley:1973:EIC%
		}.
\NAMECITE{Resources}{%
		Tripathi:1988:VAT%
		}.
\NAMECITE{Respect}{%
		Lehmer:1957:SCR%
		}.
\NAMECITE{Response}{%
		Iglehart:1978:RSR%
		}.
\NAMECITE{responsibilities}{%
		Halpern:2000:EBR%
		}.
\NAMECITE{Restricted}{%
		Papadimitriou:1982:CRS%
		}.
\NAMECITE{Restriction}{%
		Willard:1985:ARR%
		}.
\NAMECITE{Restrictions}{%
		MeyeraufderHeide:1988:FAD%
		}.
\NAMECITE{Restructuring}{%
		Muller:1976:RAE%
		}.
\NAMECITE{Result}{%
		Wand:1978:NIR%
		}.
\NAMECITE{result-checking}{%
		Wasserman:1997:SRR%
		}.
\NAMECITE{Resultant}{%
		Bareiss:1960:RPM%
		}.
\NAMECITE{Resultants}{%
		Collins:1971:CMP%
		}.
\NAMECITE{Results}{%
		Parsons:1955:SDC%
		}.
\NAMECITE{Retiring}{%
		Householder:1957:RPA%
		}.
\NAMECITE{Retrieval}{%
		Maron:1960:RPI%
		}.
\NAMECITE{Retrieve}{%
		Morrison:1968:PPA%
		}.
\NAMECITE{Retry}{%
		Lee:1988:ODU%
		}.
\NAMECITE{revealing}{%
		Jain:2003:GFL%
		}.
\NAMECITE{revelation}{%
		Lehmann:2002:TRA%
		}.
\NAMECITE{Reversal}{%
		Ibarra:1978:RBM%
		}.
\NAMECITE{Reversal-Bounded}{%
		Ibarra:1978:RBM%
		}.
\NAMECITE{reversals}{%
		Hannenhalli:1999:TCT%
		}.
\NAMECITE{Reverse}{%
		Erdelyi:1966:ROL%
		}.
\NAMECITE{Reversibility}{%
		Bavel:1970:CRA%
		}.
\NAMECITE{Reversible}{%
		Angluin:1982:IRL%
		}.
\NAMECITE{Reviews}{%
		Hamming:1956:BRa%
		}.
\NAMECITE{Revised}{%
		Dantzig:1965:UPF%
		}.
\NAMECITE{Revisited}{%
		Minoura:1982:DAR%
		}.
\NAMECITE{Rewrite}{%
		Halpern:1990:CRR%
		}.
\NAMECITE{Rewriting}{%
		Huet:1980:CRA%
		}.
\NAMECITE{{Richardson}}{%
		Frank:1960:SLS%
		}.
\NAMECITE{right}{%
		Mickunas:1976:TLK%
		}.
\NAMECITE{right-context}{%
		Mickunas:1976:TLK%
		}.
\NAMECITE{rights}{%
		Halpern:2000:EBR%
		}.
\NAMECITE{Rigid}{%
		Gallier:1992:TPU%
		}.
\NAMECITE{Ring}{%
		Fitzpatrick:1960:SBR%
		}.
\NAMECITE{Rings}{%
		Abrahamson:1994:TLB%
		}.
\NAMECITE{{RNA}}{%
		Shapiro:1967:ARP%
		}.
\NAMECITE{Road}{%
		Doyle:1961:SRM%
		}.
\NAMECITE{Robots}{%
		Murray:1955:MR%
		}.
\NAMECITE{Robust}{%
		Rabin:1994:RSS%
		}.
\NAMECITE{Robustly}{%
		Attiya:1995:SMR%
		}.
\NAMECITE{Robustness}{%
		Suri:1983:RQN%
		}.
\NAMECITE{Role}{%
		Salton:1970:RAJ%
		}.
\NAMECITE{{Romberg}}{%
		Anders:1966:ERI%
		}.
\NAMECITE{Room}{%
		Konheim:1976:QMF%
		}.
\NAMECITE{Root}{%
		Weeg:1960:TEG%
		}.
\NAMECITE{Root-Squaring}{%
		Weeg:1960:TEG%
		}.
\