Viktor Kuncak
--- a/Reference Manual/lisa.tex

+ 1

− 2
+++ b/Reference Manual/lisa.tex

+ 1

− 2
 @@ -56,8 +56,7 @@ escapeinside={(*@}{@*)}
 @@ -56,8 +56,7 @@ escapeinside={(*@}{@*)}
 \begin{document}
 \maketitle
 \chapter*{Introduction}
-This document aims to give a complete documentation on LISA. Tentatively, every chapter and section will explain a part or concept of LISA, and explains both its implementation and its theoretical foundations.
+This document aims to give a complete documentation on LISA. Tentatively, every chapter and section will explain a part or concept of LISA, and explains both its implementation and its theoretical foundations \cite{DBLP:conf/tacas/GuilloudK22}.
-\cite{DBLP:conf/tacas/GuilloudK22}
 \input{part1.tex}