deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 3a58617..4f56be8 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\subsection{Influence graphs as Kripke models}  We treat influence graphs as Kripke models \cite{Christoff_2013,Christoff_2015}. \cite{Seligmanetal:synthese,Christoff_2013,Christoff_2015,ZoePhD}.  \subsection{Modal $\mu$-calculus}