% Chapter Template

\chapter{Related Work} % Main chapter title

\label{RelatedWork} 

In this chapter, we introduce
the work relevant to this thesis.


\section{Work on Back-References}
We introduced back-references
in chapter \ref{Introduction}.
This is a quite deep problem,
with theoretical work on them being
fairly recent.

Campaneu gave 


See \cite{AHO1990255} for a survey
of these works and comparison between different
flavours (e.g. whether references can be circular, 
can labels be repeated etc.) of back-references syntax.