X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fmatita.bib;h=79d527b45b5136c33c12de4c3d2b812a14ee29d6;hb=cbac948d507d74a558ba7f11ce10bc252b1ba8ba;hp=f2f024e718d66a979a6bd90e27acffdf6fddaa7a;hpb=91af0f7726bcfcd72229f19c239eabfda4532347;p=helm.git

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index f2f024e71..79d527b45 100644
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -1,4 +1,15 @@
 
+@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},
+}
+
 @inproceedings{gmetadom,
   author = "Luca Padovani and Claudio Sacerdoti Coen and Stefano Zacchiroli",
   title = "A Generative Approach to the Implementation of Language Bindings for the Document Object Model",