%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.11",
%%%     date            = "03 March 2014",
%%%     time            = "13:00:56 MST",
%%%     filename        = "stoc.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "49749 1128 5124 48098",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography; BibTeX; Symposium on the Theory
%%%                        of Computing (STOC)",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a complete bibliography of the
%%%                        proceedings volumes of the annual ACM
%%%                        Symposia on the Theory of Computing (STOC).
%%%                        It does not include individual papers in
%%%                        these proceedings; they are covered in
%%%                        separate companion bibliographies,
%%%                        stoc19xx.bib and stoc20xx.bib.
%%%
%%%                        At version 1.11, the year coverage looked
%%%                        like this:
%%%
%%%                             1969 (   1)    1984 (   1)    1999 (   1)
%%%                             1970 (   1)    1985 (   1)    2000 (   1)
%%%                             1971 (   1)    1986 (   1)    2001 (   1)
%%%                             1972 (   1)    1987 (   1)    2002 (   1)
%%%                             1973 (   1)    1988 (   1)    2003 (   1)
%%%                             1974 (   1)    1989 (   1)    2004 (   1)
%%%                             1975 (   1)    1990 (   1)    2005 (   1)
%%%                             1976 (   1)    1991 (   1)    2006 (   1)
%%%                             1977 (   1)    1992 (   1)    2007 (   1)
%%%                             1978 (   1)    1993 (   1)    2008 (   1)
%%%                             1979 (   1)    1994 (   1)    2009 (   1)
%%%                             1980 (   1)    1995 (   1)    2010 (   1)
%%%                             1981 (   1)    1996 (   1)    2011 (   1)
%%%                             1982 (   1)    1997 (   1)    2012 (   1)
%%%                             1983 (   1)    1998 (   1)    2013 (   1)
%%%
%%%                             Proceedings:     45
%%%
%%%                             Total entries:   45
%%%
%%%                        Data for this bibliography has been collected
%%%                        primarily from the University of California
%%%                        MELVYL catalog, with small amounts of missing
%%%                        information supplied from the OCLC WorldCat
%%%                        catalog.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.  Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen as
%%%                        name:year:abbrev, where name is the family
%%%                        name of the first author or editor, year is a
%%%                        4-digit number, and abbrev is a 3-letter
%%%                        condensation of important title words.
%%%                        Citation tags were automatically generated by
%%%                        software developed for the BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted
%%%                        by ascending year using the bibsort -byyear
%%%                        utility.  Year order has been chosen to
%%%                        make it easier to identify the most recent
%%%                        work.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-ACM                 = "ACM Press"}

@String{pub-ACM:adr             = "New York, NY, USA"}

%%% ====================================================================
%%% Bibliography entries:

@Proceedings{ACM:1969:CRA,
  editor =       "{ACM}",
  booktitle =    "{Conference record of ACM Symposium on Theory of
                 Computing; papers presented at the symposium, Marina
                 del Rey, California, May 5, 6, 7, 1969}",
  title =        "{Conference record of {ACM} Symposium on Theory of
                 Computing; papers presented at the symposium, Marina
                 del Rey, California, May 5, 6, 7, 1969}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 272",
  year =         "1969",
  LCCN =         "QA75.5 .A22 1969",
  bibdate =      "Wed Feb 20 17:55:34 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  xxISBN =       "none",
}

@Proceedings{ACM:1970:CRS,
  editor =       "{ACM}",
  booktitle =    "{Conference record of second annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Northampton, Massachusetts, May 4, 5, 6, 1970}",
  title =        "{Conference record of second annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Northampton, Massachusetts, May 4, 5, 6, 1970}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 230",
  year =         "1970",
  LCCN =         "QA75.5 .A22 1970",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1971:CRT,
  editor =       "{ACM}",
  booktitle =    "{Conference record of third annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Shaker Heights, Ohio, May 3, 4, 5, 1971}",
  title =        "{Conference record of third annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Shaker Heights, Ohio, May 3, 4, 5, 1971}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 266",
  year =         "1971",
  LCCN =         "QA75.5 .A22 1971",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1972:CRF,
  editor =       "{ACM}",
  booktitle =    "{Conference record, Fourth Annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Denver, Colorado, May 1, 2, 3, 1972}",
  title =        "{Conference record, Fourth Annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Denver, Colorado, May 1, 2, 3, 1972}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 263",
  year =         "1972",
  LCCN =         "QA76.6 .A13 1972",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic data processing --- congresses; programming
                 (electronic computers) --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1973:CRF,
  editor =       "{ACM}",
  booktitle =    "{Conference record of Fifth Annual {ACM} Symposium on
                 Theory of Computing: papers presented at the Symposium,
                 Austin, Texas, April 30--May 2, 1973}",
  title =        "{Conference record of Fifth Annual {ACM} Symposium on
                 Theory of Computing: papers presented at the Symposium,
                 Austin, Texas, April 30--May 2, 1973}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "iv + 277",
  year =         "1973",
  LCCN =         "QA76.6 .A16 1973",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses;
                 machine theory --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1974:CRS,
  editor =       "{ACM}",
  booktitle =    "{Conference record of sixth annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Seattle, Washington, April 30--May 2, 1974}",
  title =        "{Conference record of sixth annual {ACM} Symposium on
                 Theory of Computing: papers presented at the symposium,
                 Seattle, Washington, April 30--May 2, 1974}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "iv + 347",
  year =         "1974",
  LCCN =         "QA76.6 .A13 1974",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1975:CRS,
  editor =       "ACM",
  booktitle =    "{Conference record of Seventh Annual {ACM} Symposium on
                 Theory of Computing: papers presented at the Symposium,
                 Albuquerque, New Mexico, May 5--May 7, 1975}",
  title =        "{Conference record of Seventh Annual {ACM} Symposium on
                 Theory of Computing: papers presented at the Symposium,
                 Albuquerque, New Mexico, May 5--May 7, 1975}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 265",
  year =         "1975",
  LCCN =         "QA76.6 .A16 1975",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses;
                 machine theory --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1976:CRE,
  editor =       "ACM",
  booktitle =    "{Conference record of the eighth annual {ACM} Symposium
                 on Theory of Computing: papers presented at the
                 Symposium, Hershey, Pennsylvania, May 3--5, 1976}",
  title =        "{Conference record of the eighth annual {ACM} Symposium
                 on Theory of Computing: papers presented at the
                 Symposium, Hershey, Pennsylvania, May 3--5, 1976}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "iv + 246",
  year =         "1976",
  LCCN =         "QA 76.6 A12 1976",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1977:CRN,
  editor =       "ACM",
  booktitle =    "{Conference record of the ninth annual {ACM} Symposium
                 on Theory of Computing: papers presented at the
                 Symposium, Boulder, Colorado, May 2--4, 1977}",
  title =        "{Conference record of the ninth annual {ACM} Symposium
                 on Theory of Computing: papers presented at the
                 Symposium, Boulder, Colorado, May 2--4, 1977}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 314",
  year =         "1977",
  LCCN =         "QA76.6 .A13 1977",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; electronic
                 digital computers --- programming --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1978:CRT,
  editor =       "ACM",
  booktitle =    "{Conference record of the tenth annual {ACM} Symposium
                 on Theory of Computing: papers presented at the
                 Symposium, San Diego, California, May 1--3, 1978}",
  title =        "{Conference record of the tenth annual {ACM} Symposium
                 on Theory of Computing: papers presented at the
                 Symposium, San Diego, California, May 1--3, 1978}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "iv + 346",
  year =         "1978",
  LCCN =         "QA76.6.A13 1978",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; electronic
                 digital computers --- programming --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1979:CRE,
  editor =       "{ACM}",
  booktitle =    "{Conference record of the eleventh annual {ACM}
                 Symposium on Theory of Computing: papers presented at
                 the Symposium, Atlanta, Georgia, April 30--May 2,
                 1979}",
  title =        "{Conference record of the eleventh annual {ACM}
                 Symposium on Theory of Computing: papers presented at
                 the Symposium, Atlanta, Georgia, April 30--May 2,
                 1979}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "vii + 368",
  year =         "1979",
  LCCN =         "QA75.5.A14 1979",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
  xxISBN =       "none",
}

@Proceedings{ACM:1980:CPT,
  editor =       "ACM",
  booktitle =    "{Conference proceedings of the twelfth annual {ACM}
                 Symposium on Theory of Computing: papers presented at
                 the symposium, Los Angeles, California, April 28--30,
                 1980}",
  title =        "{Conference proceedings of the twelfth annual {ACM}
                 Symposium on Theory of Computing: papers presented at
                 the symposium, Los Angeles, California, April 28--30,
                 1980}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 447",
  year =         "1980",
  ISBN =         "0-89791-017-6 (paperback)",
  ISBN-13 =      "978-0-89791-017-0 (paperback)",
  LCCN =         "QA 76.6 A13 1980",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508800.",
  price =        "US\$17.00 (US\$14.00 to members)",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; electronic
                 digital computers --- programming --- congresses",
}

@Proceedings{ACM:1981:CPT,
  editor =       "ACM",
  booktitle =    "{Conference proceedings of the Thirteenth Annual {ACM}
                 Symposium on Theory of Computing: papers presented at
                 the Symposium, Milwaukee, Wisconsin, May 11--13, 1981}",
  title =        "{Conference proceedings of the Thirteenth Annual {ACM}
                 Symposium on Theory of Computing: papers presented at
                 the Symposium, Milwaukee, Wisconsin, May 11--13, 1981}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 391",
  year =         "1981",
  ISBN =         "0-89791-041-9 (paperback)",
  ISBN-13 =      "978-0-89791-041-5 (paperback)",
  LCCN =         "QA76.6 .A13 1981",
  bibdate =      "Thu Dec 03 08:30:27 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508810. Also published in {\em Journal
                 of computer and system sciences}, vol. 26, no. 3.",
  acknowledgement = ack-nhfb,
  keywords =     "Electronic digital computers --- Programming ---
                 Congresses.; Machine theory --- Congresses.;
                 Computational complexity --- Congresses.",
}

@Proceedings{ACM:1982:PFA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the fourteenth annual {ACM} Symposium
                 on Theory of Computing, San Francisco, California, May
                 5--7, 1982}",
  title =        "{Proceedings of the fourteenth annual {ACM} Symposium
                 on Theory of Computing, San Francisco, California, May
                 5--7, 1982}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 408",
  year =         "1982",
  ISBN =         "0-89791-070-2",
  ISBN-13 =      "978-0-89791-070-5",
  LCCN =         "QA75.5 .A14 1982",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508820.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; programming
                 (electronic computers) --- congresses",
}

@Proceedings{ACM:1983:PFA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the fifteenth annual {ACM} Symposium on
                 Theory of Computing, Boston, Massachusetts, April
                 25--27, 1983}",
  title =        "{Proceedings of the fifteenth annual {ACM} Symposium on
                 Theory of Computing, Boston, Massachusetts, April
                 25--27, 1983}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 487",
  year =         "1983",
  ISBN =         "0-89791-099-0",
  ISBN-13 =      "978-0-89791-099-6",
  LCCN =         "QA75.5.A14 1983",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508830.",
  acknowledgement = ack-nhfb,
  annote =       "Sponsored by the ACM Special Interest Group for
                 Automata and Computability Theory.",
  keywords =     "computational complexity --- congresses; electronic
                 digital computers --- programming --- congresses",
}

@Proceedings{ACM:1984:PSA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the sixteenth annual {ACM} Symposium on
                 Theory of Computing, Washington, DC, April 30--May 2,
                 1984}",
  title =        "{Proceedings of the sixteenth annual {ACM} Symposium on
                 Theory of Computing, Washington, {DC}, April 30--May 2,
                 1984}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "vi + 547",
  year =         "1984",
  ISBN =         "0-89791-133-4",
  ISBN-13 =      "978-0-89791-133-7",
  LCCN =         "QA 76.6 A13 1984",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508840.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1985:PSA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the seventeenth annual {ACM} Symposium
                 on Theory of Computing, Providence, Rhode Island, May
                 6--8, 1985}",
  title =        "{Proceedings of the seventeenth annual {ACM} Symposium
                 on Theory of Computing, Providence, Rhode Island, May
                 6--8, 1985}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "vi + 484",
  year =         "1985",
  ISBN =         "0-89791-151-2 (paperback)",
  ISBN-13 =      "978-0-89791-151-1 (paperback)",
  LCCN =         "QA 76.6 A13 1985",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508850.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses",
}

@Proceedings{ACM:1986:PEA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the Eighteenth annual {ACM} Symposium
                 on Theory of Computing, Berkeley, California, May
                 28--30, 1986}",
  title =        "{Proceedings of the Eighteenth annual {ACM} Symposium
                 on Theory of Computing, Berkeley, California, May
                 28--30, 1986}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "v + 461",
  year =         "1986",
  ISBN =         "0-89791-193-8",
  ISBN-13 =      "978-0-89791-193-1",
  LCCN =         "QA 76.6 A13 1986",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508860.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses; programming
                 (electronic computers) --- congresses",
}

@Proceedings{ACM:1987:PNA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the nineteenth annual {ACM} Symposium
                 on Theory of Computing, New York City, May 25--27,
                 1987}",
  title =        "{Proceedings of the nineteenth annual {ACM} Symposium
                 on Theory of Computing, New York City, May 25--27,
                 1987}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 471",
  year =         "1987",
  ISBN =         "0-89791-221-7 (paperback)",
  ISBN-13 =      "978-0-89791-221-1 (paperback)",
  LCCN =         "QA 76.6 A13 1987",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508870",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers --- programming ---
                 congresses; computational complexity --- congresses",
}

@Proceedings{ACM:1988:PTA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twentieth annual {ACM} Symposium on
                 Theory of Computing, Chicago, Illinois, May 2--4,
                 1988}",
  title =        "{Proceedings of the twentieth annual {ACM} Symposium on
                 Theory of Computing, Chicago, Illinois, May 2--4,
                 1988}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 553",
  year =         "1988",
  ISBN =         "0-89791-264-0",
  ISBN-13 =      "978-0-89791-264-8",
  LCCN =         "QA 76.6 A13 1988",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508880.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1989:PTF,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-first annual {ACM} Symposium
                 on Theory of Computing, Seattle, Washington, May
                 15--17, 1989}",
  title =        "{Proceedings of the twenty-first annual {ACM} Symposium
                 on Theory of Computing, Seattle, Washington, May
                 15--17, 1989}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 600",
  year =         "1989",
  ISBN =         "0-89791-307-8",
  ISBN-13 =      "978-0-89791-307-2",
  LCCN =         "QA 76.6 A13 1989",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508890.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1990:PTS,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-second annual {ACM}
                 Symposium on Theory of Computing, Baltimore, Maryland,
                 May 14--16, 1990}",
  title =        "{Proceedings of the twenty-second annual {ACM}
                 Symposium on Theory of Computing, Baltimore, Maryland,
                 May 14--16, 1990}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 574",
  year =         "1990",
  ISBN =         "0-89791-361-2",
  ISBN-13 =      "978-0-89791-361-4",
  LCCN =         "QA76.A15 1990",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508900.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1991:PTT,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty third annual {ACM} Symposium
                 on Theory of Computing, New Orleans, Louisiana, May
                 6--8, 1991}",
  title =        "{Proceedings of the twenty third annual {ACM} Symposium
                 on Theory of Computing, New Orleans, Louisiana, May
                 6--8, 1991}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "vii + 573",
  year =         "1991",
  ISBN =         "0-89791-397-3",
  ISBN-13 =      "978-0-89791-397-3",
  LCCN =         "QA 76.6 A13 1991",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508910.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1992:PTF,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-fourth annual {ACM}
                 Symposium on Theory of Computing, Victoria, British
                 Columbia, Canada, May 4--6, 1992}",
  title =        "{Proceedings of the twenty-fourth annual {ACM}
                 Symposium on Theory of Computing, Victoria, British
                 Columbia, Canada, May 4--6, 1992}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "ix + 784",
  year =         "1992",
  ISBN =         "0-89791-511-9",
  ISBN-13 =      "978-0-89791-511-3",
  LCCN =         "QA76.A15 1992",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508920.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1993:PTF,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-fifth annual {ACM} Symposium
                 on the Theory of Computing, San Diego, California, May
                 16--18, 1993}",
  title =        "{Proceedings of the twenty-fifth annual {ACM} Symposium
                 on the Theory of Computing, San Diego, California, May
                 16--18, 1993}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "ix + 812",
  year =         "1993",
  ISBN =         "0-89791-591-7",
  ISBN-13 =      "978-0-89791-591-5",
  LCCN =         "QA 76.6 A13 1993",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508930.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1994:PTS,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-sixth annual {ACM} Symposium
                 on the Theory of Computing: Montreal, Quebec, Canada,
                 May 23--25, 1994}",
  title =        "{Proceedings of the twenty-sixth annual {ACM} Symposium
                 on the Theory of Computing: Montreal, Quebec, Canada,
                 May 23--25, 1994}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "ix + 822",
  year =         "1994",
  ISBN =         "0-89791-663-8",
  ISBN-13 =      "978-0-89791-663-9",
  LCCN =         "QA76 .A15 1994",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508930.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1995:PTS,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-seventh annual {ACM}
                 Symposium on Theory of Computing: Las Vegas, Nevada,
                 May 29--June 1, 1995}",
  title =        "{Proceedings of the twenty-seventh annual {ACM}
                 Symposium on Theory of Computing: Las Vegas, Nevada,
                 May 29--June 1, 1995}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "viii + 763",
  year =         "1995",
  ISBN =         "0-89791-718-9",
  ISBN-13 =      "978-0-89791-718-6",
  LCCN =         "QA 76.6 A13 1995",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508950.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1996:PTE,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-eighth annual {ACM}
                 Symposium on the Theory of Computing, Philadelphia,
                 Pennsylvania, May 22--24, 1996}",
  title =        "{Proceedings of the twenty-eighth annual {ACM}
                 Symposium on the Theory of Computing, Philadelphia,
                 Pennsylvania, May 22--24, 1996}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "ix + 661",
  year =         "1996",
  ISBN =         "0-89791-785-5",
  ISBN-13 =      "978-0-89791-785-8",
  LCCN =         "QA 76.6 A13 1996",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508960. Also known as Federated
                 Computing Research Conference (FCRS '96).",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1997:PTN,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the twenty-ninth annual {ACM} Symposium
                 on the Theory of Computing: El Paso, Texas, May 4--6,
                 1997}",
  title =        "{Proceedings of the twenty-ninth annual {ACM} Symposium
                 on the Theory of Computing: El Paso, Texas, May 4--6,
                 1997}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "ix + 751",
  year =         "1997",
  ISBN =         "0-89791-888-6",
  ISBN-13 =      "978-0-89791-888-6",
  LCCN =         "QA76.5 .A849 1997",
  bibdate =      "Thu Dec 3 07:11:18 MST 1998",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order no. 508970.",
  acknowledgement = ack-nhfb,
  keywords =     "computational complexity --- congresses",
}

@Proceedings{ACM:1998:PTA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the thirtieth annual {ACM} Symposium on
                 Theory of Computing: Dallas, Texas, May 23--26, 1998}",
  title =        "{Proceedings of the thirtieth annual {ACM} Symposium on
                 Theory of Computing: Dallas, Texas, May 23--26, 1998}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "x + 684",
  year =         "1998",
  ISBN =         "0-89791-962-9",
  ISBN-13 =      "978-0-89791-962-3",
  LCCN =         "QA75.5 .A14 1998",
  bibdate =      "Sat Oct 28 16:10:32 MDT 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order number 508980.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers -- congresses; electronic
                 data processing -- congresses; computer programming --
                 congresses; computational complexity -- congresses",
}

@Proceedings{ACM:1999:PTF,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the thirty-first annual {ACM} Symposium
                 on Theory of Computing: Atlanta, Georgia, May 1--4,
                 1999}",
  title =        "{Proceedings of the thirty-first annual {ACM} Symposium
                 on Theory of Computing: Atlanta, Georgia, May 1--4,
                 1999}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xi + 790",
  year =         "1999",
  ISBN =         "1-58113-067-8",
  ISBN-13 =      "978-1-58113-067-6",
  LCCN =         "QA75.5 .A14 1999",
  bibdate =      "Sat Oct 28 16:10:32 MDT 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order number 508990.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers -- congresses; electronic
                 data processing -- congresses; computer programming --
                 congresses; computational complexity -- congresses",
}

@Proceedings{ACM:2000:PTS,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the thirty second annual {ACM}
                 Symposium on Theory of Computing: Portland, Oregon, May
                 21--23, [2000]}",
  title =        "{Proceedings of the thirty second annual {ACM}
                 Symposium on Theory of Computing: Portland, Oregon, May
                 21--23, [2000]}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "ix + 756",
  year =         "2000",
  ISBN =         "1-58113-184-4",
  ISBN-13 =      "978-1-58113-184-0",
  bibdate =      "Sat Oct 28 16:10:32 MDT 2000",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order number 508000.",
  acknowledgement = ack-nhfb,
  keywords =     "electronic digital computers -- congresses; electronic
                 data processing -- congresses; computer programming --
                 congresses; computational complexity -- congresses;
                 online resources",
}

@Proceedings{ACM:2001:PAA,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the 33rd Annual ACM Symposium on Theory
                 of Computing: Hersonissos, Crete, Greece, July 6--8,
                 2001}",
  title =        "{Proceedings of the 33rd Annual {ACM} Symposium on
                 Theory of Computing: Hersonissos, Crete, Greece, July
                 6--8, 2001}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xii + 757",
  year =         "2001",
  ISBN =         "1-58113-349-9",
  ISBN-13 =      "978-1-58113-349-3",
  LCCN =         "QA76.6 .A13 2001",
  bibdate =      "Wed Feb 20 17:51:33 2002",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order number 508010.",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2002:PTF,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the Thiry-Fourth Annual {ACM} Symposium
                 on Theory of Computing, Montr{\'e}al, Qu{\'e}bec,
                 Canada, May 19--21, 2002}",
  title =        "{Proceedings of the Thiry-Fourth Annual {ACM} Symposium
                 on Theory of Computing, Montr{\'e}al, Qu{\'e}bec,
                 Canada, May 19--21, 2002}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xv + 824",
  year =         "2002",
  ISBN =         "1-58113-495-9",
  ISBN-13 =      "978-1-58113-495-7",
  LCCN =         "QA75.5 .A22 2002",
  bibdate =      "Tue Jan 13 06:29:11 2004",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order number 508020.",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2003:PTF,
  editor =       "{ACM}",
  booktitle =    "{Proceedings of the Thirty-Fifth ACM Symposium on
                 Theory of Computing, San Diego, CA, USA, June 9--11,
                 2003}",
  title =        "{Proceedings of the Thirty-Fifth ACM Symposium on
                 Theory of Computing, San Diego, CA, USA, June 9--11,
                 2003}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xii + 728",
  year =         "2003",
  ISBN =         "1-58113-674-9",
  ISBN-13 =      "978-1-58113-674-6",
  LCCN =         "QA75.5 .A22 2003",
  bibdate =      "Tue Jan 13 06:29:11 2004",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  note =         "ACM order number 508030.",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2004:PAA,
  editor =       "ACM",
  booktitle =    "{Proceedings of the 36th Annual ACM Symposium on the
                 Theory of Computing: Chicago, Illinois, USA, June
                 13--15, 2004}",
  title =        "{Proceedings of the 36th Annual ACM Symposium on the
                 Theory of Computing: Chicago, Illinois, USA, June
                 13--15, 2004}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xvii + 646",
  year =         "2004",
  ISBN =         "1-58113-852-0",
  ISBN-13 =      "978-1-58113-852-8",
  LCCN =         "QA75.5 .A22 2004",
  bibdate =      "Wed Apr 5 06:05:06 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  meetingname =  "ACM Symposium on Theory of Computing (36th: 2004:
                 Chicago, Ill.)",
  remark =       "ACM order number 508040.",
  subject =      "Electronic digital computers; Congresses; Computer
                 programming; Computational complexity; Electronic data
                 processing",
}

@Proceedings{ACM:2005:SPA,
  editor =       "{ACM}",
  booktitle =    "{STOC '05: proceedings of the 37th Annual ACM
                 Symposium on Theory of Computing: Baltimore, Maryland,
                 USA, May 22--24, 2005}",
  title =        "{STOC '05: proceedings of the 37th Annual ACM
                 Symposium on Theory of Computing: Baltimore, Maryland,
                 USA, May 22--24, 2005}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xiv + 770",
  year =         "2005",
  ISBN =         "1-58113-960-8",
  ISBN-13 =      "978-1-58113-960-0",
  LCCN =         "QA75.5 A22 2005",
  bibdate =      "Wed Apr 5 05:53:41 MDT 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 melvyl.cdlib.org:210/CDL90",
  acknowledgement = ack-nhfb,
  meetingname =  "ACM Symposium on Theory of Computing (37th: 2005:
                 Baltimore, MD)",
  remark =       "ACM order number 508050.",
  subject =      "Electronic digital computers; Congresses; Electronic
                 data processing; Computer programming; Computational
                 complexity",
}

@Proceedings{ACM:2006:SPT,
  editor =       "{ACM}",
  booktitle =    "{STOC'06: Proceedings of the Thirty-Eighth Annual ACM
                 Symposium on Theory of Computing 2006, Seattle, WA,
                 USA, May 21--23, 2006}",
  title =        "{STOC'06: Proceedings of the Thirty-Eighth Annual ACM
                 Symposium on Theory of Computing 2006, Seattle, WA,
                 USA, May 21--23, 2006}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "770 (est.)",
  year =         "2006",
  ISBN =         "1-59593-134-1",
  ISBN-13 =      "978-1-59593-134-4",
  LCCN =         "QA75.5 .A22 2006",
  bibdate =      "Thu May 25 06:13:58 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 http://www.math.utah.edu/pub/tex/bib/stoc2000.bib;
                 http://www.math.utah.edu/pub/tex/bib/stoc2010.bib;
                 z3950.gbv.de:20011/gvk",
  note =         "ACM order number 508060.",
  URL =          "http://portal.acm.org/citation.cfm?id=1132516",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2007:SPA,
  editor =       "{ACM}",
  booktitle =    "{STOC '07: proceedings of the 39th Annual ACM
                 Symposium on Theory of Computing, San Diego,
                 California, USA, June 11--13, 2007}",
  title =        "{STOC '07: proceedings of the 39th Annual ACM
                 Symposium on Theory of Computing, San Diego,
                 California, USA, June 11--13, 2007}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xv + 718",
  year =         "2007",
  ISBN =         "1-59593-631-9",
  ISBN-13 =      "9781-595-9363-1-8",
  LCCN =         "QA75.5 .A22 2007",
  bibdate =      "Fri Jun 20 18:35:01 MDT 2008",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 z3950.bibsys.no:2100/BIBSYS",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2008:SPA,
  editor =       "{ACM}",
  booktitle =    "{STOC '08: proceedings of the 40th Annual ACM
                 Symposium on Theory of Computing, Victoria, British
                 Columbia, Canada, May 17--20, 2008}",
  title =        "{STOC '08: proceedings of the 40th Annual ACM
                 Symposium on Theory of Computing, Victoria, British
                 Columbia, Canada, May 17--20, 2008}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xv + 798",
  year =         "2008",
  ISBN =         "1-60558-047-3",
  ISBN-13 =      "978-1-60558-047-0",
  LCCN =         "QA76.6 .A152 2008",
  bibdate =      "Fri Jun 20 18:35:01 MDT 2008",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib",
  acknowledgement = ack-nhfb,
}

@Proceedings{ACM:2009:SPA,
  editor =       "{ACM}",
  booktitle =    "{STOC '09: proceedings of the 2009 ACM International
                 Symposium on Theory of Computing, Bethesda, Maryland,
                 USA, May 31--June 2, 2009}",
  title =        "{STOC '09: proceedings of the 2009 ACM International
                 Symposium on Theory of Computing, Bethesda, Maryland,
                 USA, May 31--June 2, 2009}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xiii + 736",
  year =         "2009",
  ISBN =         "1-60558-613-7",
  ISBN-13 =      "978-1-60558-613-7",
  LCCN =         "QA75.5 .A22 2009",
  bibdate =      "Wed Sep 1 10:36:45 MDT 2010",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 z3950.bibsys.no:2100/BIBSYS",
  acknowledgement = ack-nhfb,
  remark =       "41st annual STOC meeting.",
}

@Proceedings{ACM:2010:SPA,
  editor =       "{ACM}",
  booktitle =    "{STOC'10: Proceedings of the 2010 ACM International
                 Symposium on Theory of Computing: June 5--8, 2010,
                 Cambridge, MA, USA}",
  title =        "{STOC'10: Proceedings of the 2010 ACM International
                 Symposium on Theory of Computing: June 5--8, 2010,
                 Cambridge, MA, USA}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xiv + 797",
  year =         "2010",
  ISBN =         "1-60558-817-2",
  ISBN-13 =      "978-1-60558-817-9",
  LCCN =         "QA 76.6 .A152 2010",
  bibdate =      "Wed Sep 1 10:37:53 MDT 2010",
  bibsource =    "z3950.gbv.de:20011/gvk;
                 http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 http://www.math.utah.edu/pub/tex/bib/stoc2010.bib",
  URL =          "http://www.gbv.de/dms/tib-ub-hannover/63314455x.",
  acknowledgement = ack-nhfb,
  remark =       "42nd annual STOC meeting.",
}

@Proceedings{ACM:2011:SPA,
  editor =       "{ACM}",
  booktitle =    "{STOC'11: Proceedings of the 2011 ACM International
                 Symposium on Theory of Computing: June 6--8, 2011, San
                 Jose, CA, USA}",
  title =        "{STOC'11: Proceedings of the 2011 ACM International
                 Symposium on Theory of Computing: June 6--8, 2011, San
                 Jose, CA, USA}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "xxx + 822 (est.)",
  year =         "2011",
  ISBN =         "1-4503-0691-8",
  ISBN-13 =      "978-1-4503-0691-1",
  LCCN =         "????",
  bibdate =      "Wed Sep 1 10:37:53 MDT 2010",
  bibsource =    "z3950.gbv.de:20011/gvk;
                 http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 http://www.math.utah.edu/pub/tex/bib/stoc2010.bib",
  URL =          "http://www.gbv.de/dms/tib-ub-hannover/63314455x.",
  acknowledgement = ack-nhfb,
  remark =       "43rd annual STOC meeting.",
}

@Proceedings{ACM:2012:SPA,
  editor =       "{ACM}",
  booktitle =    "{STOC'12: Proceedings of the 2012 ACM International
                 Symposium on Theory of Computing: May 19--22, 2012, New
                 York, NY, USA}",
  title =        "{STOC'12: Proceedings of the 2012 ACM International
                 Symposium on Theory of Computing: May 19--22, 2012, New
                 York, NY, USA}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "1292 (est.)",
  year =         "2012",
  ISBN =         "1-4503-1245-4",
  ISBN-13 =      "978-1-4503-1245-5",
  LCCN =         "????",
  bibdate =      "Thu Nov 08 19:12:21 2012",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/stoc2010.bib;
                 http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 z3950.gbv.de:20011/gvk",
  URL =          "http://www.gbv.de/dms/tib-ub-hannover/63314455x.",
  acknowledgement = ack-nhfb,
  remark =       "44th annual STOC meeting.",
}

@Proceedings{ACM:2013:SPF,
  editor =       "{ACM}",
  booktitle =    "{STOC '13: Proceedings of the Forty-fifth Annual ACM
                 Symposium on Theory of Computing: June 1--4, 2013, Palo
                 Alto, California, USA}",
  title =        "{STOC '13: Proceedings of the Forty-fifth Annual ACM
                 Symposium on Theory of Computing: June 1--4, 2013, Palo
                 Alto, California, USA}",
  publisher =    pub-ACM,
  address =      pub-ACM:adr,
  pages =        "980 (est.)",
  year =         "2013",
  ISBN =         "1-4503-2029-5",
  ISBN-13 =      "978-1-4503-2029-0",
  bibdate =      "Mon Mar 3 06:36:05 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/datacompression.bib;
                 http://www.math.utah.edu/pub/tex/bib/prng.bib;
                 http://www.math.utah.edu/pub/tex/bib/stoc.bib;
                 http://www.math.utah.edu/pub/tex/bib/stoc2010.bib",
  acknowledgement = ack-nhfb,
  remark =       "45th annual STOC meeting.",
}