doc-src/manual.bib

   volume	= 426,
   pages		= {233-271}}
 
 %C
 
+@InProceedings{Chaieb-Wenzel:2007,
+  author = 	 {Amine Chaieb and Makarius Wenzel},
+  title = 	 {Context aware Calculation and Deduction ---
+                  Ring Equalities via {Gr\"obner Bases} in {Isabelle}},
+  booktitle =	 {Towards Mechanized Mathematical Assistants (CALCULEMUS 2007)},
+  editor =	 {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
+  series =	 LNAI,
+  volume =       4573,
+  year =	 2007,
+  publisher =	 Springer
+}
+
 @TechReport{camilleri92,
   author	= {J. Camilleri and T. F. Melham},
   title		= {Reasoning with Inductively Defined Relations in the
 		 {HOL} Theorem Prover},
   institution	= CUCL,