How to format your references using the Journal of Logic and Algebraic Programming citation style

This is a short guide how to format citations and the bibliography in a manuscript for Journal of Logic and Algebraic Programming. 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	Download the output style file
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]

R.D. Blandford, Blood out of a stone, Science 295 (2002) 1653–1654.

A journal article with 2 authors

[1]

T.J. Garrett, C. Zhao, Increased Arctic cloud longwave emissivity associated with pollution from mid-latitudes, Nature 440 (2006) 787–789.

A journal article with 3 authors

[1]

M. Pagel, C. Venditti, A. Meade, Large punctuational contribution of speciation to evolutionary divergence at the molecular level, Science 314 (2006) 119–121.

A journal article with 4 or more authors

[1]

D. Kang, J. Dai, H. Sun, Y. Hou, J. Yuan, Quantum simulation of thermally-driven phase transition and oxygen K-edge x-ray absorption of high-pressure ice, Sci. Rep. 3 (2013) 3272.

Books and book chapters

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

An authored book

[1]

D.H. Bennett, Bennett’s Cardiac Arrhythmias, John Wiley & Sons, Ltd, Oxford, 2013.

An edited book

[1]

L. McAlpine, C. Amundsen, eds., Doctoral Education: Research-Based Strategies for Doctoral Students, Supervisors and Administrators, Springer Netherlands, Dordrecht, 2011.

A chapter in an edited book

[1]

N. Kuntze, A.U. Schmidt, Trusted Ticket Systems and Applications, in: H. Venter, M. Eloff, L. Labuschagne, J. Eloff, R. von Solms (Eds.), New Approaches for Security, Privacy and Trust in Complex Environments: Proceedings of the IFIP TC-11 22nd International Information Security Conference (SEC 2007), 14–16 May 2007, Sandton, South Africa, Springer US, Boston, MA, 2007: pp. 49–60.

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 Journal of Logic and Algebraic Programming.

Blog post

[1]

J. Fang, Scientists Double The Size Of Ants, IFLScience (2015). https://www.iflscience.com/plants-and-animals/scientists-shrink-ants-study-how-environment-affects-size/ (accessed October 30, 2018).

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, Airline Competition: Passenger Facility Charges Can Provide an Independent Source of Funding for Airport Expansion and Improvement Projects, U.S. Government Printing Office, Washington, DC, 1990.

Theses and dissertations

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

Doctoral dissertation

[1]

E.L. Rosenberg, Learning to live: The clinical importance of first-person accounts of recovery from anorexia nervosa, Doctoral dissertation, Pacifica Graduate Institute, 2010.

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]

B. Strauss, Like Father, Like Son. Like the Cubs? No Way!, New York Times (2016) B11.

In-text citations

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

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

About the journal

Full journal title	Journal of Logic and Algebraic Programming
Abbreviation	J. Log. Algebr. Program.
ISSN (print)	1567-8326
Scope	Computational Theory and Mathematics Software Logic Theoretical Computer Science