@Bibtex-file{Theory/tocl.bib,
  title =        "Bibliography on the journal {ACM} Transactions on
                 Computational Logic",
  author =       "Nelson H. F. Beebe",
  email =        "beebe@math.utah.edu",
  address =      "Center for Scientific Computing\\ University of
                 Utah\\
                 Department of Mathematics, 322 INSCC\\ 155 S 1400 E RM
                 233\\ Salt Lake City, UT 84112-0090\\ USA",
  supported =    "yes",
  keywords =     "bibliography, BibTeX, ACM Transactions on
                 Computational Logic",
  abstract =     "This is a COMPLETE BibTeX bibliography for the journal
                 ACM Transactions on Computational Logic (CODEN ????,
                 ISSN 1529-3785), for 2000--date.",
  readme =       "Publication began with volume 1, number 1, in July
                 2000. The journal appears quarterly. \par The two
                 journals have a joint World-Wide Web site at: \par
                 http://www.acm.org/pubs/tocl \par Tables-of-contents of
                 all issues are available at: \par
                 http://www.acm.org/pubs/contents/journals/tocl/ \par
                 Qualified subscribers can retrieve the full text of
                 recent articles in PDF form. \par The initial draft of
                 this bibliography was derived from data at the ACM Web
                 site. \par ACM copyrights explicitly permit abstracting
                 with credit, so article abstracts, keywords, and
                 subject classifications have been included in this
                 bibliography wherever available. \par The bibsource
                 keys in the bibliography entries below indicate the
                 data sources. \par URL keys in the bibliography point
                 to World Wide Web locations of additional information
                 about the entry.",
}