LaTeX Style

LaTeX Style

All final versions of articles must be formated using the Logical Methods in Computer Science LaTeX style.

The instructions for authors also serve as an example use of the LaTeX style.

Since the article is published in PDF and PostScript format we suggest to prepare your text to have clickable PDF links and/or cross references.

Live Links in Papers

Live links in papers can be either internal, for example to theorems or bibliography entries, or external, for example to journal papers or university repositories.

The Logical Methods in Computer Science style file includes the hyperref package, see:

Authors are required to use only commands from that package to create their links. These links will be live in the pdf but not the ps versions of the published paper. A variety of internal links are automatically created; authors will not, generally speaking, need to add their own.

Only archival quality external live links (known as persistent identifiers) are permitted. Links considered to be of archival quality are:

Archival Resource Key (ARK):

Digital Object Identifier (DOI):

Handle System:


Persistent Uniform Resource Locator (PURL):

See the relevant web pages for more information. Any others will not be accepted without prior agreement from the editor-in-chief.

As regards non-live links, e.g. giving the text of a URL, these can be included at the discretion of authors. However, they should bear in mind that most non-archival quality links have unexpectedly short lifetimes.

NOTE All papers in this journal can be linked to using a Digital Object Identifier. For example the digital object identifier of the first paper published in the journal is 10.2168/LMCS-1 (1:1) 2005. This can be cited and turned into a live link using the hyperref \href macro.:

{doi: 10.2168/LMCS-1 (1:1) 2005}

Additionally, both ordinary and special issues as well as the journal itself have DOI numbers. All DOI numbers are given on the relevant web pages.