--- a/src/Doc/manual.bib Tue Nov 20 13:27:24 2012 +0100
+++ b/src/Doc/manual.bib Tue Nov 20 14:29:46 2012 +0100
@@ -401,6 +401,13 @@
%C
+@PhdThesis{Chaieb-thesis,
+ author = {Amine Chaieb},
+ title = {Automated methods for formal proofs in simple arithmetics and algebra},
+ school = {Technische Universit\"at M\"unchen},
+ year = 2008,
+ note = {\url{http://www4.in.tum.de/~chaieb/pubs/pdf/diss.pdf}}}
+
@InProceedings{Chaieb-Wenzel:2007,
author = {Amine Chaieb and Makarius Wenzel},
title = {Context aware Calculation and Deduction ---