doc/: A bibliography! With citations!
[sod] / doc / concepts.tex
index 46d8526..b074445 100644 (file)
@@ -148,7 +148,7 @@ following properties are expected to hold.
   list, i.e., $B$ is a more specific superclass of $C$ than $A$ is.
 \end{itemize}
 The default linearization algorithm used in Sod is the \emph{C3} algorithm,
-which has a number of good properties described in~\cite{FIXME:C3}.
+which has a number of good properties described in~\cite{Barrett:1996:MSL}.
 It works as follows.
 \begin{itemize}
 \item A \emph{merge} of some number of input lists is a single list