Added a new section on automation

[helm.git] / helm / papers / matita / matita.bib

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index 8aa1c4882a5aecce42eec255e484ab6d85b44031..7d98905d56e5ff0b6833e5df58753c6a6fee2b1a 100644 (file)
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -1,3 +1,12 @@
+@inproceedings{paramodulation,
+  author = "Robert Nieuwenhuis and Alberto Rubio",
+  title = "Paramodulation-based thorem proving",
+  booktitle = "Handbook of Automated Reasoning",
+  editor = "John Alan Robinson and Andrei Voronkov",
+  pages = "471--443",
+  publisher = "Elsevier and MIT Press",
+  year = 2001,
+}
 
 @inproceedings{latexmathml,
  author = {Luca Padovani},