Use LNCS template.

examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/isadof.cfg

@@ -1,2 +1,2 @@
-Template: scrartcl
+Template: lncs
 Ontology: scholarly_paper

examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/preamble.tex

@@ -53,23 +53,18 @@
 \usepackage[size=footnotesize]{caption}
 
 
-\subject{Example of an Academic Paper\footnote{%
-  This document is an example setup for writing an academic paper. While
-  it is optimized for the Springer's LNCS class, it uses a Koma Script
-  LaTeX class to avoid the re-distribution of \texttt{llncs.cls},
-  which would violate Springer's copyright. This example has been
-  published at CICM 2018:
-    \protect\begin{quote}
-      Achim D. Brucker, Idir Ait-Sadoune, Paolo Crisafulli, and
-      Burkhart Wolff. Using The Isabelle Ontology Framework: Linking
-      the Formal with the Informal. In Conference on Intelligent
-      Computer Mathematics (CICM). Lecture Notes in Computer Science
-      (11006), Springer-Verlag, 2018. 
-    \protect\end{quote}
-    Note that the content of this example is not updated and, hence,
-    might not be correct with respect to the latest version of
-    \isadof{}. 
-    }}
+\usepackage[LNCS,
+   orcidicon,
+   key=brucker.ea-isabelle-ontologies-2018,
+   year=2018,
+   publication={F. Rabe et al. (Eds.): CICM 2018, LNAI 11006},
+   nobib,
+   startpage={1},
+   doi={10.1007/978-3-319-96812-4_3},
+   doiText={10.1007/978-3-319-96812-4\_3},
+]{authorarchive}
+\authorrunning{A. D. Brucker et al.}
+\pagestyle{headings}
 
 
 \title{<TITLE>}