How to format your references using the ACM Transactions on Computational Logic citation style

This is a short guide how to format citations and the bibliography in a manuscript for ACM Transactions on Computational Logic (TOCL). For a complete guide how to prepare your manuscript refer to the journal's instructions to authors.

Using reference management software

Typically you don't format your citations and bibliography by hand. The easiest way is to use a reference manager:

Paperpile	The citation style is built in and you can choose it in Settings > Citation Style or Paperpile > Citation Style in Google Docs.
EndNote	Find the style here: output styles overview
Mendeley, Zotero, Papers, and others	The style is either built in or you can download a CSL file that is supported by most references management programs.
BibTeX	BibTeX syles are usually part of a LaTeX template. Check the instructions to authors if the publisher offers a LaTeX template for this journal.

Journal articles

Those examples are references to articles in scholarly journals and how they are supposed to appear in your bibliography.

Not all journals organize their published articles in volumes and issues, so these fields are optional. Some electronic journals do not provide a page range, but instead list an article identifier. In a case like this it's safe to use the article identifier instead of the page range.

A journal article with 1 author

[1]

Jan M. Skotheim. 2009. Cell signaling. To divide or not to divide. Science 324, 5926 (April 2009), 476–477.

A journal article with 2 authors

[1]

George M. Whitesides and Bartosz Grzybowski. 2002. Self-assembly at all scales. Science 295, 5564 (March 2002), 2418–2421.

A journal article with 3 authors

[1]

R. A. Shelby, D. R. Smith, and S. Schultz. 2001. Experimental verification of a negative index of refraction. Science 292, 5514 (April 2001), 77–79.

A journal article with 4 or more authors

[1]

Shanshan Li, Rui Wang, Deyong Li, Jing Ma, Heng Li, Xiaochuan He, Zengyi Chang, and Yuxiang Weng. 2014. Thermal-triggerd proteinquake leads to disassembly of DegP hexamer as an imperative activation step. Sci. Rep. 4, (April 2014), 4834.

Books and book chapters

Here are examples of references for authored and edited books as well as book chapters.

An authored book

[1]

Rory A. Wolf. 2012. Atmospheric Pressure Plasma for Surface Modification. John Wiley & Sons, Inc., Hoboken, NJ.

An edited book

[1]

Jakub Šimko. 2014. Semantic Acquisition Games: Harnessing Manpower for Creating Semantics. Springer International Publishing, Cham.

A chapter in an edited book

[1]

Jan Klein and Norman Klein. 2013. The Third Decade: The Vow. In Solitude of a Humble Genius - Gregor Johann Mendel: Volume 1: Formative Years, Norman Klein (ed.). Springer, Berlin, Heidelberg, 191–266.

Web sites

Sometimes references to web sites should appear directly in the text rather than in the bibliography. Refer to the Instructions to authors for ACM Transactions on Computational Logic.

Blog post

[1]

Stephen Luntz. 2015. First Ever Color Photo Of Pluto And Charon Sent Back By New Horizons Spacecraft. IFLScience.

Reports

This example shows the general structure used for government reports, technical reports, and scientific reports. If you can't locate the report number then it might be better to cite the report as a book. For reports it is usually not individual people that are credited as authors, but a governmental department or agency like "U. S. Food and Drug Administration" or "National Cancer Institute".

Government report

[1]

Government Accountability Office. 1998. Executive Guide: Leading Practices in Capital Decision-Making (Supersedes AIMD-98-110). U.S. Government Printing Office, Washington, DC.

Theses and dissertations

Theses including Ph.D. dissertations, Master's theses or Bachelor theses follow the basic format outlined below.

Doctoral dissertation

[1]

Matrice E. McConnell. 2017. A Dual Diagnosis of Hearing Loss and an Autism Spectrum Disorder: An Illustrative Case Study. Doctoral dissertation. California State University, Long Beach, Long Beach, CA.

News paper articles

Unlike scholarly journals, news papers do not usually have a volume and issue number. Instead, the full date and page number is required for a correct reference.

New York Times article

[1]

Stuart Miller. 2017. Tennis Stars on Steroids? It’s Make Believe, Right? New York Times, B7.

In-text citations

References should be cited in the text by sequential numbers in square brackets:

This sentence cites one reference [2].
This sentence cites two references [2, 4].
This sentence cites four references [5–8].

About the journal

Full journal title	ACM Transactions on Computational Logic
Abbreviation	ACM Trans. Comput. Log.
ISSN (print)	1529-3785
ISSN (online)	1557-945X
Scope