minor fixes to ENGLISH

[helm.git] / helm / papers / matita / matita2.bbl

diff --git a/helm/papers/matita/matita2.bbl b/helm/papers/matita/matita2.bbl
index 865dcc468d80226e826cf57364e2813f1d0a7588..03704995b8785b2392e8368c9a46ab90b1c565b5 100644 (file)
--- a/helm/papers/matita/matita2.bbl
+++ b/helm/papers/matita/matita2.bbl
@@ -89,6 +89,11 @@ MathML: 2003, `Mathematical {M}arkup {L}anguage ({MathML}) {V}ersion 2.0'.
 \newblock W3C Recommendation 21 February 2001,
   \url{http://www.w3.org/TR/MathML2}.
 
+\bibitem{paramodulation}
+Nieuwenhuis, R. and A. Rubio: 2001, `Paramodulation-based thorem proving'.
+\newblock In: J.~A. Robinson and A. Voronkov (eds.): {\em Handbook of Automated
+  Reasoning}. pp. 471--443.
+
 \bibitem{omdoc}
 OMDoc: 2005, `{OMDoc}: An Open Markup Format for Mathematical Documents
   (Version 1.1)'.