Initial commit of the XML/XSLT stuff.

[helm.git] / helm / mowgli / home / xml / publications / others / tphols2001_apss.xml

diff --git a/helm/mowgli/home/xml/publications/others/tphols2001_apss.xml b/helm/mowgli/home/xml/publications/others/tphols2001_apss.xml
new file mode 100644 (file)
index 0000000..14154d3
--- /dev/null
+++ b/helm/mowgli/home/xml/publications/others/tphols2001_apss.xml
@@ -0,0 +1,14 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>HELM and the semantic Math-Web</title>
+ <author file="bologna/asperti"/>
+ <author file="bologna/padovani"/>
+ <author file="bologna/sacerdoti"/>
+ <author file="bologna/schena"/>
+ <where>Proceedings of the 14th International Conference on Theorem
+  Proving in Higher Order Logics (TPHOLS 2001), 3-6 September 2001,
+  Edinburgh, Scotland</where>
+</publication>