+@book{paramodulation,
+ author = "Robert Nieuwenhuis and Alberto Rubio",
+ title = "Paramodulation-based thorem proving",
+ booktitle = "Handbook of Automated Reasoning",
+ pages = "471--443",
+ publisher = "Elsevier and MIT Press",
+ year = 2001,
+ NOTE = {ISBN-0-262-18223-8}
+}
+
+@inproceedings{latexmathml,
+ author = {Luca Padovani},
+ title = {On the Roles of LATEX and MathML in Encoding and Processing Mathematical Expressions},
+ booktitle = {MKM '03: Proceedings of the Second International Conference on Mathematical Knowledge Management},
+ year = {2003},
+ isbn = {3-540-00568-4},
+ pages = {66--79},
+ publisher = {Springer-Verlag},
+ address = {London, UK},
+}
+