\nonstopmode{}
\documentclass[
paper=9in:6in,
DIV=calc,
listof=totoc,
toc=bib,
]{scrbook}

\title{A Modern Architecture for High-Level Constraint Modelling Languages}
\author{Jip J. Dekker}

\input{assets/packages}
\input{assets/layout}
\input{assets/shorthands}

% Bibliography preamble
\addbibresource{assets/bibliography/references.bib}
\addbibresource[label=ownpubs]{assets/bibliography/dekker_publications.bib}

% Glossary / Acronym preamble
\input{assets/glossary}
\input{assets/acronyms}

\begin{document}

\frontmatter{}

% \makeatletter
\begin{titlepage}
  \begin{center}
    \includegraphics[width=\linewidth]{assets/img/monash-university-logo}
    \vspace{2cm}

    {%
      \usekomafont{title}{%
        \huge%
        A Modern Architecture for High-Level Constraint Modelling Languages%
        \par
      }%
    }
    \vspace{1em}
    {%
      \usekomafont{author}{%
        Jip J. Dekker\par
      }%
    }

    \vfill
    A thesis submitted for the degree of Doctor of Philosophy at\par
    Monash University in \the\year{}\par
    Dept.\ of Data Science and AI, Faculty of IT
  \end{center}
\end{titlepage}


\hspace{0pt}
\vfill
\begin{center}
  {\Large \textcopyright\ Jip J. Dekker \the\year{}}\par
  \vspace{2em}
  I certify that I have made all reasonable efforts to secure copyright
  permissions for third-party content included in this thesis and have not
  knowingly added copyright content to my work without the owner's permission.
\end{center}
\vfill
\pagebreak

\include{chapters/0_abstract}

\chapter{Declaration}

This thesis is an original work of my research and contains no material which
has been accepted for the award of any other degree or diploma at any university
or equivalent institution and that, to the best of my knowledge and belief, this
thesis contains no material previously published or written by another person,
except where due reference is made in the text of the thesis.

\vspace{5em}

\makebox[2in]{\dotfill}\par
\hspace{0.6em}Jip J. Dekker\par
\vspace{1em}
\hspace{0.5em}Date: \today

\chapter{Publications}

Some ideas and figures included in this thesis have previously appeared in the
following publication:

\begin{refsection}[ownpubs]
  \small
  \nocite{*} % is local to to the enclosing refsection
  \printbibliography[heading=none]
\end{refsection}

\chapter{Acknoledgements}


\mainmatter{}
\include{chapters/1_introduction}
\include{chapters/2_background}
\include{chapters/3_paradigms}
\include{chapters/4_rewriting}
\include{chapters/5_half_reif}
\include{chapters/6_incremental}

\appendix{}
\include{chapters/A1_minizinc_grammar}

\backmatter{}
\printbibliography{}
% \tableofcontents{}
% \addcontentsline{toc}{chapter}{Contents}
% \listoffigures{}
% \listoftables{}
% \listoflistings{}

\printglossary[type=\acronymtype]{}
\renewcommand{\glsnamefont}[1]{\titlecap{#1}}
\printglossary[nonumberlist]{}

\end{document}
