%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.07",
%%%     date            = "26 November 2011",
%%%     time            = "16:43:58 MDT",
%%%     filename        = "chicjtheorcomputsci.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        = "07107 739 2543 32319",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "bibliography, BibTeX, Chicago Journal of
%%%                        Theoretical Computer Science",
%%%     license         = "public domain",
%%%     supported       = "no",
%%%     docstring       = "This is a complete bibliography of the
%%%                        electronic journal Chicago Journal of
%%%                        Theoretical Computer Science (ISSN
%%%                        1073-0486), published by MIT Press,
%%%                        Cambridge, MA, USA.
%%%
%%%                        Publication began in 1995, and articles
%%%                        appear as soon as they have been accepted for
%%%                        publication.
%%%
%%%                        The journal is unusual in that it is
%%%                        intended to be available primarily in an
%%%                        electronic format, and consequently,
%%%                        articles are sequenced and dated, but not
%%%                        assigned the usual volume number, issue
%%%                        number, and page numbers of conventional
%%%                        print journals.
%%%
%%%                        The journal has World-Wide Web sites at
%%%
%%%                            http://scholar.lib.vt.edu/ejournals/CJTCS/cjtcs/index.html
%%%                            http://www.cs.uchicago.edu/publications/cjtcs/journal-info.html
%%%                            http://www.cs.uchicago.edu/publications/cjtcs/
%%%                            gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/
%%%
%%%                        and the full text of all articles is available
%%%                        electronically to qualified subscribers.
%%%
%%%                        At version 1.07, the year coverage looked
%%%                        like this:
%%%
%%%                             1995 (   4)    1998 (   5)    2001 (   0)
%%%                             1996 (   6)    1999 (  11)    2002 (   2)
%%%                             1997 (   5)    2000 (   4)
%%%
%%%                             Article:         37
%%%
%%%                             Total entries:   37
%%%
%%%                        Data for this bibliography has been derived
%%%                        entirely from the journal's Web site.
%%%
%%%                        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 in
%%%                        publication order within each journal.
%%%
%%%                        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/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-CHIC-J-THEOR-COMPUT-SCI = "Chicago Journal of Theoretical Computer
                                  Science"}

%%% ====================================================================
%%% Bibliography entries, sorted in publication order:

@Article{Nisan:1995:SIC,
  author =       "Noam Nisan and Amnon Ta-Shma",
  title =        "Symmetric {\em Logspace} is Closed Under Complement",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "30",
  month =        jun,
  year =         "1995",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/1/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Grolmusz:1995:WMI,
  author =       "Vince Grolmusz",
  title =        "On the Weak $\bmod m$ Representation of {Boolean}
                 Functions",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "21",
  month =        jul,
  year =         "1995",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/2/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Klarlund:1995:RM,
  author =       "Nils Klarlund and Dexter Kozen",
  title =        "{Rabin} Measures",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "20",
  month =        sep,
  year =         "1995",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/3/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Condon:1995:PCD,
  author =       "Anne Condon and Joan Feigenbaum and Carsten Lund and
                 Peter W. Shor",
  title =        "Probabilistically Checkable Debate Systems and
                 Nonapproximability of {PSPACE}-Hard Functions",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "19",
  month =        oct,
  year =         "1995",
  ISSN =         "1073-0486",
  bibdate =      "Tue Oct 22 15:27:00 2002",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1995/4/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Vardi:1996:RPV,
  author =       "Moshe Y. Vardi",
  title =        "Rank Predicates vs. Progress Measures in
                 Concurrent-Program Verification",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "9",
  month =        feb,
  year =         "1996",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/1/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Ogihara:1996:SHS,
  author =       "Mitsunori Ogihara",
  title =        "Sparse Hard Sets for {P} Yield Space-Efficient
                 Algorithms",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "27",
  month =        mar,
  year =         "1996",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/2/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Gerstel:1996:OVP,
  author =       "Ornan Gerstel and Israel Cidon and Shmuel Zaks",
  title =        "Optimal Virtual Path Layout in {ATM} Networks With
                 Shared Routing Table Switches",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "31",
  month =        oct,
  year =         "1996",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "Published in {\em Selected Papers from PODC 1994},
                 David Peleg editor.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/3/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Buntrock:1996:WGC,
  author =       "Gerhard Buntrock and Gundula Niemann",
  title =        "Weakly Growing Context-Sensitive Grammars",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "13",
  month =        nov,
  year =         "1996",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/4/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Hoover:1996:USS,
  author =       "H. James Hoover and Piotr Rudnicki",
  title =        "Uniform Self-Stabilizing Orientation of Unicyclic
                 Networks under Read/Write Atomicity",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "5",
  month =        dec,
  year =         "1996",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "Special Issue on Self-Stabilization, Shlomi Dolev and
                 Jennifer Welch editors.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/5/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Middendorf:1996:MCR,
  author =       "Martin Middendorf",
  title =        "{Manhattan} Channel Routing is {NP}-complete Under
                 Truly Restricted Settings",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "30",
  month =        dec,
  year =         "1996",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1996/6/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Feige:1997:LVP,
  author =       "Uriel Feige and Joe Kilian",
  title =        "On Limited versus Polynomial Nondeterminism",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "12",
  month =        mar,
  year =         "1997",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/1/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Kann:1997:HAM,
  author =       "Viggo Kann and Sanjeev Khanna and Jens Lagergren and
                 Alessandro Panconesi",
  title =        "On the Hardness of Approximating Max $k$-Cut and its
                 Dual",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "3",
  month =        jun,
  year =         "1997",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/2/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Varghese:1997:SST,
  author =       "George Varghese and Anish Arora and Mohamed Gouda",
  title =        "Self-Stabilization by Tree Correction",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "4",
  month =        nov,
  year =         "1997",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "Special Issue on Self-Stabilization, Shlomi Dolev and
                 Jennifer Welch editors.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/3/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Dolev:1997:SPD,
  author =       "Shlomi Dolev and Ted Herman",
  title =        "Superstabilizing Protocols for Dynamic Distributed
                 Systems",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "19",
  month =        dec,
  year =         "1997",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "Special Issue on Self-Stabilization, Shlomi Dolev and
                 Jennifer Welch editors.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/4/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Mahajan:1997:DCA,
  author =       "Meena Mahajan and V. Vinay",
  title =        "Determinant: Combinatorics, Algorithms, and
                 Complexity",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "31",
  month =        dec,
  year =         "1997",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1997/5/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Thierauf:1998:IPR,
  author =       "Thomas Thierauf",
  title =        "The Isomorphism Problem for Read-Once Branching
                 Programs and Arithmetic Circuits",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "16",
  month =        may,
  year =         "1998",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "Special Issue on Computational Complexity, from the
                 1996 Dagstuhl-Seminar, Eric Allender editor.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/1/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Kupferman:1998:VFT,
  author =       "Orna Kupferman and Moshe Y. Vardi",
  title =        "Verification of Fair Transition Systems",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "16",
  month =        mar,
  year =         "1998",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/2/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Afek:1998:SSU,
  author =       "Yehuda Afek and Anat Bremler",
  title =        "Self-Stabilizing Unidirectional Network Algorithms by
                 Power Supply",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "7",
  month =        dec,
  year =         "1998",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "Special Issue on Self-Stabilization, Shlomi Dolev and
                 Jennifer Welch editors.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/3/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Kulkarni:1998:MDR,
  author =       "Sandeep S. Kulkarni and Anish Arora",
  title =        "Multitolerance in Distributed Reset",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "7",
  month =        dec,
  year =         "1998",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "Special Issue on Self-Stabilization, Shlomi Dolev and
                 Jennifer Welch editors.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1998/4/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Herman:1998:WPC,
  author =       "Ted Herman",
  title =        "Working Paper: {A} Comprehensive Bibliography on
                 Self-Stabilization",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  year =         "1998",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jan 27 07:16:05 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uiowa.edu/ftp/selfstab/bibliography/",
  acknowledgement = ack-nhfb,
}

@Article{Beals:1999:FNG,
  author =       "Robert Beals and Richard Chang and William Gasarch and
                 Jacobo Tor{\'a}n",
  title =        "On Finding the Number of Graph Automorphisms",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "10",
  month =        feb,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jul 28 07:27:43 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/1/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Wang:1999:RRI,
  author =       "Jie Wang",
  title =        "Randomized Reductions and Isomorphisms",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "24",
  month =        feb,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jul 28 07:27:43 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "{\em Special Issue on Computational Complexity},
                 results from Dagstuhl-Seminar 1996, Eric Allender
                 editor.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/2/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Fenner:1999:CMF,
  author =       "Stephen Fenner and Frederic Green and Steven Homer and
                 Alan L. Selman and Thomas Thierauf and Heribert
                 Vollmer",
  title =        "Complements of Multivalued Functions",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "19",
  month =        mar,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jul 28 07:27:43 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/3/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Karg:1999:CGT,
  author =       "Christoph Karg and Johannes K{\"o}bler and Rainer
                 Schuler",
  title =        "The Complexity of Generating Test Instances",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "22",
  month =        apr,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Wed Jul 28 07:27:43 1999",
  bibsource =    "gopher://gopher.cs.uchicago.edu:70/11/publications/cjtcs/articles/;
                 http://www.cs.uchicago.edu/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  note =         "{\em Special Issue on Computational Complexity},
                 results from Dagstuhl-Seminar 1996, Eric Allender
                 editor.",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/4/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Feigenbaum:1999:CPG,
  author =       "Joan Feigenbaum and Sampath Kannan and Moshe Y. Vardi
                 and Mahesh Viswanathan",
  title =        "The Complexity of Problems on Graphs Represented as
                 {OBDD}s",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "6",
  month =        aug,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/5/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Jagota:1999:HNN,
  author =       "Arun Jagota",
  title =        "{Hopfield} Neural Networks and Self-Stabilization",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "6",
  month =        aug,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/6/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Allender:1999:PRL,
  author =       "Eric Allender",
  title =        "The Permanent Requires Large Uniform Threshold
                 Circuits",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "6",
  month =        aug,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/7/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Erickson:1999:BLS,
  author =       "Jeff Erickson",
  title =        "Bounds for Linear Satisfiability Problems",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "6",
  month =        aug,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/8/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Kosa:1999:TBS,
  author =       "Martha J. Kosa",
  title =        "Time Bounds for Strong and Hybrid Consistency for
                 Arbitrary Abstract Data Types",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "6",
  month =        aug,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/9/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Collin:1999:SSD,
  author =       "Zeev Collin and Rina Dechter and Shmuel Katz",
  title =        "Self-Stabilizing Distributed Constraint Satisfaction",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "31",
  month =        dec,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/10/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Paturi:1999:SCL,
  author =       "Ramamohan Paturi and Pavel Pudlak and Francis Zane",
  title =        "Satisfiability Coding Lemma",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "31",
  month =        dec,
  year =         "1999",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/publications/cjtcs/articles/1999/11/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Rothe:2000:HVC,
  author =       "Jorg Rothe",
  title =        "Heuristics Versus Completeness for Graph Coloring",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "29",
  month =        feb,
  year =         "2000",
  ISSN =         "1073-0486",
  bibdate =      "Sat Oct 21 13:49:26 2000",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/1/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Agrawal:2000:CSD,
  author =       "Manindra Agrawal and Eric Allender and Samir Datta and
                 Heribert Vollmer and Klaus W. Wagner",
  title =        "Characterizing Small Depth and Small Space Classes by
                 Operators of Higher Type",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "6",
  month =        sep,
  year =         "2000",
  ISSN =         "1073-0486",
  bibdate =      "Wed Apr 18 10:42:01 2001",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/2/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Schmid:2000:OAC,
  author =       "Ulrich Schmid",
  title =        "Orthogonal Accuracy Clock Synchronization",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "17",
  month =        aug,
  year =         "2000",
  ISSN =         "1073-0486",
  bibdate =      "Wed Apr 18 10:42:01 2001",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/3/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Aiello:2000:SID,
  author =       "William Aiello and Costas Busch and Maurice Herlihy
                 and Marios Mavronicolas and Nir Shavit and Dan
                 Touitou",
  title =        "Supporting Increment and Decrement Operations in
                 Balancing Networks",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "14",
  month =        dec,
  year =         "2000",
  ISSN =         "1073-0486",
  bibdate =      "Wed Apr 18 10:42:01 2001",
  bibsource =    "http://www.cs.uchicago.edu/research/publications/cjtcs/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://www.cs.uchicago.edu/research/publications/cjtcs/articles/2000/4/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Beauquier:2002:SSL,
  author =       "Jeffrey Beauquier and Ajoy K. Datta and Maria
                 Gradinariu and Frederic Magniette",
  title =        "Self-Stabilizing Local Mutual Exclusion and Definition
                 Refinement",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "24",
  month =        jul,
  year =         "2002",
  ISSN =         "1073-0486",
  bibdate =      "Fri Jan 09 16:45:42 2004",
  bibsource =    "http://cjtcs.cs.uchicago.edu/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://cjtcs.cs.uchicago.edu/articles/2002/1/contents.html",
  acknowledgement = ack-nhfb,
}

@Article{Arvind:2002:QCP,
  author =       "V. Arvind and K. V. Subrahmanyam and N. V.
                 Vinodchandran",
  title =        "The Query Complexity of Program Checking by
                 Constant-Depth Circuits",
  journal =      j-CHIC-J-THEOR-COMPUT-SCI,
  day =          "5",
  month =        dec,
  year =         "2002",
  ISSN =         "1073-0486",
  bibdate =      "Fri Jan 09 16:45:42 2004",
  bibsource =    "http://cjtcs.cs.uchicago.edu/;
                 http://www.math.utah.edu/pub/tex/bib/chicjtheorcomputsci.bib",
  URL =          "http://cjtcs.cs.uchicago.edu/articles/2002/2/contents.html",
  acknowledgement = ack-nhfb,
}