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:

PaperpileThe citation style is built in and you can choose it in Settings > Citation Style or Paperpile > Citation Style in Google Docs.
EndNoteFind the style here: output styles overview
Mendeley, Zotero, Papers, and othersThe style is either built in or you can download a CSL file that is supported by most references management programs.
BibTeXBibTeX 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
David C. Cannatella. 2008. Comment on “Habitat split and the global decline of amphibians.” Science 320, 5878 (May 2008), 874; author reply 874.
A journal article with 2 authors
Dolores R. Piperno and Karen E. Stothert. 2003. Phytolith evidence for early Holocene Cucurbita domestication in southwest Ecuador. Science 299, 5609 (February 2003), 1054–1057.
A journal article with 3 authors
Claudia Lupp, Magdalena Skipper, and Ursula Weiss. 2012. Gut microbes and health. Nature 489, 7415 (September 2012), 219.
A journal article with 4 or more authors
Simon Swingler, Beda Brichacek, Jean-Marc Jacque, Catherine Ulich, Jin Zhou, and Mario Stevenson. 2003. HIV-1 Nef intersects the macrophage CD40L signalling pathway to promote resting-cell infection. Nature 424, 6945 (July 2003), 213–219.

Books and book chapters

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

An authored book
Kerry L. Ketring and Mary Belle Glaze. 2012. Atlas of Feline Ophthalmology. John Wiley & Sons, Ltd., West Sussex, UK.
An edited book
Alastair Donaldson and David Parker (Eds.). 2012. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Springer, Berlin, Heidelberg.
A chapter in an edited book
S. Asadi, S. Farhad Masoudi, and M. Shahriari. 2009. Simulation of Human Eye for Ophthalmic Brachytherapy Dosimetry Using MCNP-4C Code. In World Congress on Medical Physics and Biomedical Engineering, September 7 - 12, 2009, Munich, Germany: Vol. 25/3 Radiation Protection and Dosimetry, Biological Effects of Radiation, Olaf Dössel and Wolfgang C. Schlegel (eds.). Springer, Berlin, Heidelberg, 9–12.

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
Danielle Andrew. 2017. A 10-Foot Great White Shark Jumped Right Into A Fisherman’s Boat In Australia. IFLScience. Retrieved October 30, 2018 from


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
Government Accountability Office. 1978. Statistics on Congressional Reporting Requirements. 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
Daniel Rey. 2017. Chaos, Observability and Symplectic Structure in Optimal Estimation. Doctoral dissertation. University of California San Diego, La Jolla, 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
Mary Alice Hostetter. 2016. Dear Dad: We’ve Been Gay for a Really Long Time. New York Times, ST6.

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 [2,5,6,8].

About the journal

Full journal titleACM Transactions on Computational Logic
AbbreviationACM Trans. Comput. Log.
ISSN (print)1529-3785
ISSN (online)1557-945X

Other styles