@string{& = " and "}
@string{/ = "/"}
 
@string{Abohassan = "{F.} {Abohassan}"}
@string{Adleman = "{L.M.} {Adleman}"}
@string{Aggarwal ="{A.} {Aggarwal}"}
@string{Aho = "{A.V.} {Aho}"}
@string{Ajtai = "{M.} {Ajtai}"}
@string{Akl = "{S.G.} {Akl}"}
@string{Alon = "{N.} {Alon}"}
@string{Albers = "{S.} {Albers}"}
@string{Alpern = "{B.} {Alpern}"}
@string{Alt = "{H.} {Alt}"}
@string{Amir = "{A.} {Amir}"}
@string{Anderson = "{R.J.} {Anderson}"}
@string{Angluin = "{D.} {Angluin}"}
@string{Anastasio = "{T.A.} {Anastasio}"}
@string{Annexstein = "{F.S.} {Annexstein}"}
@string{Apostolico = "{A.} {Apostolico}"}
@string{Aragon = "{Aragon}, {C.R.}"}
@string{Atallah = "{M.J.} {Atallah}"}
@string{Attiya = "{H.} {Attiya}"}
@string{Awerbuch = "{B.} {Awerbuch}"}
@string{Azar = "{Y.} {Azar}"}
@string{Babai = "{L.} {Babai}"}
@string{Baeza-Yates = "{R.A.} {Baeza-Yates}"}
@string{Barua = "{S.} {Barua}"}
@string{Bast = "{H.} {Bast}"}
@string{Baumslag = "{M.} {Baumslag}"}
@string{Beame = "{P.} {Beame}"}
@string{Ben-Amram = "{A.M.} {Ben-Amram}"}
@string{Ben-Asher = "{Y.} {Ben-Asher}"}
@string{Bentley = "{J.L.} { Bentley}"}
@string{Bergen = "{J.R.} {Bergen}"}
@string{Berger = "{B.} {Berger}"}
@string{Berkman = "{O.} {Berkman}"}
@string{Berman = "{F.} {Berman}"}
@string{Bern = "{M.W.} {Bern}"}
@string{Bhatt = "{S.N.} {Bhatt}"}
@string{Blelloch = "{G.E.} {E. Blelloch}"}
@string{Bock = "{M.E.} { Bock}"}
@string{Bollobas = "{B.} {Bollob\'{a}s}"}
@string{Boppana = "{R.B.} {Boppana}"}
@string{Borodin = "{A.} {Borodin}"}
@string{Brent = "{R.P.} {Brent}"}
@string{Breslauer = "{D.} {Breslauer}"}
@string{Broder = "{A.Z.} {Broder}"}
@string{Bryant = "{R.E.} {Bryant}"}
@string{Carter = "{L.J.} {Carter}"}
@string{Cellis = "{P.} {Cellis}"}
@string{Chandra = "{A.K.} {Chandra}"}
@string{Chaudhuri = "{S.} {Chaudhuri}"}
@string{Chebyshev = "{P.L.} {Chebeyshev}"}
@string{Chen = "{W.C.} {Chen}"}
@string{Chernoff = "{H.} {Chernoff}"}
@string{Chew = "{P.L.} {Chew}"}
@string{Chistyakov = "{V.P.} {Chistyakov}"}
@string{Chlebus = "{B.S.} {Chlebus}"}
@string{Chor = "{B.} {Chor}"}
@string{Chrobak = "{M.} {Chrobak}"}
@string{Cole = "{R.} {Cole}"}
@string{Corneil = "{D.G.} {Corneil}"}
@string{Cook = "{S.A.} {Cook}"}
@string{DeLaTorre = "{P.} {{de la Torre}}"}
@string{DeSantis = "{A.} {{De Santis}}"}
@string{Devroye = "{L.} {Devroye}"}
@string{Dickerson = "{Dickerson}, {M.T.}"}
@string{Dietz = "{P.F.} {Dietz}"}
@string{Dietzfelbinger = "{M.} {Dietzfelbinger}"}
@string{Diks = "{K.} {Diks}"}
@string{Dittert = "{E.} {Dittert}"}
@string{Dolev = "{D.} {Dolev}"}
@string{Drysdale = "{Drysdale}, {R.S.}"}
@string{Duris = "{P.} {Duris}"}
@string{Dwork = "{C.} {Dwork}"}
@string{Eckstein = "{D.M.} {Eckstein}"}
@string{Eppstein = "{D.} {Eppstein}"}
@string{Eric = "{W.} {Eric}"}
@string{Feig = "{E.} {Feig}"}
@string{Feigon = "{O.} {Feigon}"}
@string{Fich = "{F.E.} {Fich}"}
@string{Fischer = "{M.J.} {Fischer}"}
@string{Flajolet = "{P.} {Flajolet}"}
@string{Fmadh = "{F.} {{Meyer auf der Heide}}"}
@string{Fortune = "{S.} {Fortune}"}
@string{Fredman = "{M.L.} {Fredman}"}
@string{Frieze = "{A.} {Frieze}"}
@string{Gabow = "{H.N.} {Gabow}"}
@string{Galil = "{Z.} {Galil}"}
@string{Gallagher = "{P.X.} {Gallagher}"}
@string{Gavril = "{F.} {Gavril}"}
@string{Gazit = "{H.} {Gazit}"}
@string{Gereb-Graus = "{Gereb-Graus}, {M.}"}
@string{Ghosh = "{R.K.} {Ghosh}"}
@string{Giancarlo = "{R.} {Giancarlo}"}
@string{Gibbons = "{P.B.} {Gibbons}"}
@string{Gil = "{J.} {Gil}"}
@string{Goldreich = "{O.} {Goldreich}"}
@string{Goldschlager = "{L.M.} {Goldschlager}"}
@string{Goldwasser = "{S.} {Goldwasser}"}
@string{Golin = "{Golin}, {Mordecai}"}
@string{Gonnet = "{G.H.} {Gonnet}"}
@string{Goodrich = "{M.T.} {Goodrich}"}
@string{Gori = "{M.} {Gori}"}
@string{Gottlieb = "{A.} {Gottlieb}"}
@string{Greenberg = "{A.G.} {Greenberg}"}
@string{Gries = "{D.} {Gries}"}
@string{Grishman = "{R.} {Grishman}"}
@string{Grimson = "{L.} {Grimson}"}
@string{Grolmusz = "{V.} {Grolmusz}"}
@string{Guibas = "{L.I.} {Guibas}"}
@string{Gupta = "{P.} {Gupta}"}
@string{Gusfield = "{D.} {Gusfield}"}
@string{Hagerup = "{T.} {Hagerup}"}
@string{Han = "{Y.} {Han}"}
@string{Harel = "{D.} {Harel}"}
@string{Hart = "{S.} {Hart}"}
@string{Hastad = "{J.} {H\aa{}stad}"}
@string{Herley = "{K.T.} {Herley}"}
@string{Herlihy = "{M.} {Herlihy}"}
@string{Herbordt = "{M.C.} {Herbordt}"}
@string{Hirschberg = "{D.S.} {Hirschberg}"}
@string{Hofri = "{M.} {Hofri}"}
@string{Hopcroft = "{J.E.} {Hopcroft}"}
@string{Huang = "{M.A.} {Huang}"}
@string{Huttenlocher = "{D.P.} {Huttenlocher}"}
@string{Hwa = "{Y.J.} {Hwa}"}
@string{Iliopoulos = "{C.} {Iliopoulos}"}
@string{Illingworth = "{J.} {Illingworth}"}
@string{Israeli = "{A.} {Israeli}"}
@string{Itai = "{A.} {Itai}"}
@string{Jacobs = "{C.T. M.} {Jacobs}"}
@string{Joffe = "{A.} {Joffe}"}
@string{Jaja = "{J.} {J{\'a}J{\'a}}"}
@string{Johnson = "{D.B.} {Johnson}"}
@string{Johnsson = "{S.L.} {Johnsson}"}
@string{Kaas = "{R.} {Kaas}"}
@string{Kalvin = "{A.} {Kalvin}"}
@string{Kapadia = "{C.H.} {Kapadia}"}
@string{Karlin = "{A.R.} {Karlin}"}
@string{Karloff = "{H.J.} {Karloff}"}
@string{Karp = "{R.M.} {Karp}"}
@string{Kedem = "{Z.M.} {Kedem}"}
@string{Keller = "{J.} {Keller}"}
@string{Kessler = "{H.W.} {Kessler}"}
@string{Khuller = "{S.} {Khuller}"}
@string{Kik = "{M.} {Kik}"}
@string{Kim = "{S.K.} {Kim}"}
@string{KimY = "{Y.M.} {Kim}"}
@string{Kilian = "{J.} {Kilian}"}
@string{Kirkpatrick = "{D.} {Kirkpatrick}"}
@string{Kittler = "{J.} {Kittler}"}
@string{Klawe = "{M.M.} {Klawe}"}
@string{Knott = "{G.D.} {Knott}"}
@string{Knuth = "{D.E.} {Knuth}"}
@string{Koch = "{R.R.} {Koch}"}
@string{Kolchin = "{V.F.} {Kolchin}"}
@string{Komlos = "{J.} {Koml\'{o}s}"}
@string{Kompella = "{K.} {Kompella}"}
@string{Koren = "{G.} {Koren}"}
@string{Korner = "{J.} {K{\umlaut{o}}rner}"}
@string{Kosaraju = "{S.R.} {Kosaraju}"}
@string{Krishnamurthy = "{S.} {Krishnamurthy}"}
@string{Krishnan = "{P.} {Krishnan}"}
@string{Krizanc = "{D.} {Krizanc}"}
@string{Kruskal = "{C.P.} {Kruskal}"}
@string{Kutylowski = "{M.} {Kuty{\l}owski}"}
@string{Ladner = "{R.E.} {Ladner}"}
@string{Lai = "{T.} {Lai}"}
@string{Lamdan = "{Y.} {Lamdan}"}
@string{Landau = "{G.M.} {Landau}"}
@string{Larmore = "{L.} {Larmore}"}
@string{Larson = "{P.} {Larson}"}
@string{Lavallee = "{I.} {Lavall\'{e}e}"}
@string{Lavault = "{C.} {Lavault}"}
@string{Lee = "{D.} {Lee}"}
@string{Leighton = "{T.F.} {Leighton}"}
@string{Lenhof = "{Lenhof}, {H.P.}"}
@string{Lin = "{G.} {Lin}"}
@string{Li = "{M.} {Li}"}
@string{Lipton = "{R.J.} {Lipton}"}
@string{Lisinski = "{D.} {Lisinski}"}
@string{Litwin = "{W.} {Litwin}"}
@string{Luby = "{M.} {Luby}"}
@string{Lueker = "{G.S.} {Lueker}"}
@string{Lyuu = "{Y.} {Lyuu}"}
@string{MacKenzie = "{P.D.} {MacKenzie}"}
@string{Madras = "{N.} {Madras}"}
@string{Maggs = "{B.M.} {Maggs}"}
@string{Mairson = "{H.G.} {Mairson}"}
@string{Manber = "{U.} {Manber}"}
@string{Manzini = "{G.} {Manzini}"}
@string{Markowsky = "{G.} {Markowsky}"}
@string{Martel = "{C.U.} {Martel}"}
@string{Marton = "{K.} {Marton}"}
@string{Matias = "{Y.} {Matias}"}
@string{McAulife = "{K.P.} {McAulife}"}
@string{McFaddin = "{H.S.} {McFaddin}"}
@string{Megiddo = "{N.} {Megiddo}"}
@string{Mehlhorn = "{K.} {Mehlhorn}"}
@string{Meijer = "{H.} {Meijer}"}
@string{Mendelson = "{H.} {Mendelson}"}
@string{Metaxas = "{Metaxas}, {P.}"}
@string{Micali = "{S.} {Micali}"}
@string{Milenkovic = "{Milenkovic}, {Victor}"}
@string{Miller = "{G.L.} {Miller}"}
@string{MillerRE = "{R.E.} {Miller}"}
@string{Mishra = "{B.} {Mishra}"}
@string{Misra = "{J.} {Misra}"}
@string{Molodowitch = "{M.} {Molodowitch}"}
@string{Moran = "{S.} {Moran}"}
@string{Morrison = "{J.A.} {Morrison}"}
@string{Motwani = "{R.} {Motwani}"}
@string{Mullin = "{J.K.} {Mullin}"}
@string{Munro = "{J.I.} {Munro}"}
@string{Naher = "{S.} {N{\umlaut{a}}her}"}
@string{NaorJ = "{J.} {Naor}"}
@string{NaorM = "{N.} {Naor}"}
@string{Newman = "{I.} {Newman}"}
@string{Ni= "{W.C.} {Ni}"}
@string{Nisan = "{N.} {Nisan}"}
@string{Nowak = "{M.} {Nowak}"}
@string{Orbenic = "{B.} {Orbeni\'c}"}
@string{ODonnel = "{M.J.} {O'Donnel}"}
@string{Odlyzko = "{A.M.} {Odlyzko}"}
@string{Ouksel = "{M.} {Ouksel}"}
@string{Overmars = "{M.H.} {Overmars}"}
@string{Owen = "{D.B.} {Owen}"}
@string{Palem = "{K.V.} {Palem}"}
@string{Pan = "{V.} {Pan}"}
@string{Pantziou = "{G.E.} {Pantziou}"}
@string{Parberry = "{I.} {Parberry}"}
@string{ParkJ = "{J.} {Park}"}
@string{ParkK = "{K.} {Park}"}
@string{Patel = "{J.K.} {Patel}"}
@string{Paterson = "{M.S.} {Paterson}"}
@string{Paul = "{W.J.} {Paul}"}
@string{Peleg = "{D.} {Peleg}"}
@string{Peter = "{S.} {Peter}"}
@string{Pflug = "{G.Ch.} { Pflug}"}
@string{Pinotti = "{M.C.} {Pinotti}"}
@string{Pintz = "{J.} {Pintz}"}
@string{Pippenger = "{N.} {Pippenger}"}
@string{Pittel = "{B.K.} {Pittel}"}
@string{Plank = "{D.} {Plank}"}
@string{Poblete = "{P.V.} {Poblete}"}
@string{Pomerance = "{C.} {Pomerance}"}
@string{Prasad = "{V.C.} {Prasad}"}
@string{Pritchard = "{P.} {Pritchard}"}
@string{Przytycka = "{T.M.} {Przytycka}"}
@string{Preparata = "{F.P.} {Preparata}"}
@string{Pucci = "{G.} {Pucci}"}
@string{Rabin = "{M.O.} {Rabin}"}
@string{Radzik = "{T.} {Radzik}"}
@string{Radhakrishnan = "{J.} {Radhakrishnan}"}
@string{Ragde = "{P.L.} {Ragde}"}
@string{Raghavan = "{P.} {Raghavan}"}
@string{Raghunathan = "{A.} {Raghunathan}"}
@string{Rajan = "{V.} {Rajan}"}
@string{Rajasekaran = "{S.} {Rajasekaran}"}
@string{Ramachandran = "{V.} {Ramachandran}"}
@string{Ramakrishna = "{M.V.} {Ramakrishna}"}
@string{Raman = "{R.} {Raman}"}
@string{Ramaswami = "{R.} {Ramaswami}"}
@string{Ranade = "{A.G.} {Ranade}"}
@string{Rao = "{S.B.} {Rao}"}
@string{Rauch = "{M.} {Rauch}"}
@string{Reghbati = "{E.} {Reghbati}"}
@string{Reif = "{J.H.} {Reif}"}
@string{Reisch = "{S.} {Reisch}"}
@string{Reischuk = "{R.} {Reischuk}"}
@string{Rivest = "{R.L.} {Rivest}"}
@string{Rohnert = "{H.} {Rohnert}"}
@string{Rompel = "{J.} {Rompel}"}
@string{Rosier = "{L.} {Rosier}"}
@string{Rosenberg = "{A.L.} {Rosenberg}"}
@string{Ross = "{K.W.} {Ross}"}
@string{Rosser = "{J.B.} {Rosser}"}
@string{Rub = "{Ch.} {R{\umlaut{u}}b}"}
@string{Rudolph = "{L.} {Rudolph}"}
@string{Rumely = "{R.S.} {Rumely}"}
@string{Ruzzo = "{W.L.} {Ruzzo}"}
@string{Sagiv = "{Y.} {Sagiv}"}
@string{Sairam = "{S.} {Sairam}"}
@string{Salesin = "{Salesin}, {D.}"}
@string{Salowe = "{Salowe}, {J.S.}"}
@string{Saxena = "{Saxena}, {S.}"}
@string{Scheuermann = "{P.} {Scheuermann}"}
@string{Schieber = "{B.} {Schieber}"}
@string{Schmidt = "{J.P.} {Schmidt}"}
@string{Schoenfeld = "{L.} {Schoenfeld}"}
@string{Schonberg = "{E.} {Schonberg}"}
@string{Schuster = "{A.} {Schuster}"}
@string{Schwartz = "{J.T.} {Schwartz}"}
@string{Schwarz = "{Schwarz}, {Ch.}"}
@string{Schwabe = "{E.J.} {Schwabe}"}
@string{Seidel = "{Seidel}, {R.G.}"}
@string{Sen = "{S.} {Sen}"}
@string{Sevastyanov = "{B.A.} {Sevast'yanov}"}
@string{Shasha = "{D.} {Shasha}"}
@string{Sheffler = "{T.J.} {Sheffler}"}
@string{Shepp = "{L.A.} {Shepp}"}
@string{Shannon = "{G.E.} {Shannon}"}
@string{Sharir = "{M.} {Sharir}"}
@string{Shiloach = "{Y.} {Shiloach}"}
@string{Shor = "{P.} {Shor}"}
@string{Shoup = "{V.} {Shoup}"}
@string{Shvartsman = "{A.A.} {Shvartsman}"}
@string{Shvaytser = "{H.} {Shvaytser}"}
@string{Siegel = "{A.} {Siegel}"}
@string{Simon = "{J.} {Simon}"}
@string{Sipser = "{M.} {Sipser}"}
@string{Slot = "{C.} {Slot}"}
@string{Smid = "{Smid}, {M.}"}
@string{Snir = "{M.} {Snir}"}
@string{Soda = "{G.} {Soda}"}
@string{Solovay = "{R.} {Solovay}"}
@string{Somalvico = "{M.} {Somalvico}"}
@string{Spencer = "{J.H.} {Spencer}"}
@string{Spirakis = "{P.G.} {Spirakis}"}
@string{Sprugnoli = "{R.} {Sprugnoli}"}
@string{Stamoulis = "{G.D.} {Stamoulis}"}
@string{Stankovic = "{J.A.} {Stankovic}"}
@string{Steiger = "{W.L.} {Steiger}"}
@string{Stockmeyer = "{L.J.} {Stockmeyer}"}
@string{Stolfi = "{Stolfi}, {Jorge}"}
@string{Stout = "{Q.F.} {Stout}"}
@string{Strassen = "{V.} {Strassen}"}
@string{Szemeredi = "{E.} {Szemer\'{e}di}"}
@string{Supowit = "{Supowit}, {K.J.}"}
@string{Tamassia = "{R.} {Tamassia}"}
@string{Tarjan = "{R.E.} {Tarjan}"}
@string{Thurimella = "{R.} {Thurimella}"}
@string{Tompa = "{M.} {Tompa}"}
@string{Tsitsiklis = "{J.N.} {Tsitsiklis}"}
@string{Tsakalidis = "{A.} {Tsakalidis}"}
@string{Ullman = "{J.D.} {Ullman}"}
@string{Valiant = "{L.G.} {Valiant}"}
@string{van-Emde-Boas = "{P.} {{van Emde Boas}}"}
@string{van-Leeuwen = "{J.} {{van Leeuwen}}"}
@string{Van-Wyk = "{C.J.} {Van-Wyk}"}
@string{Vayda = "{T.P.} {Vayda}"}
@string{Vidyasankar = "{K.} {Vidyasankar}"}
@string{Vishkin = "{U.} {Vishkin}"}
@string{Vitter = "{J.S.} {Vitter}"}
@string{Wagener = "{H.} {Wagener}"}
@string{Waarts = "{O.} {Waarts}"}
@string{Weems = "{C.} {Weems}"}
@string{Wegman = "{M.N.} {Wegman}"}
@string{Werman = "{M.} {Werman}"}
@string{Wigderson = "{A.} {Wigderson}"}
@string{Wilber = "{R.} {Wilber}"}
@string{Willard = "{D.E.} {Willard}"}
@string{Winters = "{V.G.} {Winters}"}
@string{Wolfson = "{H.J.} {Wolfson}"}
@string{Wolfram = "{S.} {Wolfram}"}
@string{Woll = "{H.} {Woll}"}
@string{Wu = "{S.} {Wu}"}
@string{Yannakakis = "{M.} {Yannakakis}"}
@string{Yao = "{A.C. C.} {Yao}"}
@string{Yechiali = "{U.} {Yechiali}"}
@string{Yesha = "{Y.} {Yesha}"}
@string{Yu = "{J.} {Yu}"}
@string{Yung = "{M.} {Yung}"}
@string{Zaroliagis = "{C.D.} {Zaroliagis}"}
@string{Zijlstra = "{E.} {Zijlstra}"}
@string{Zimmermann = "{W.} {Zimmermann}"}