helm/mowgli/home/xml/publications/others/tphols2001_apss.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE publication SYSTEM "publication.dtd">
   4
   5 <publication>
   6  <title>HELM and the semantic Math-Web</title>
   7  <author file="bologna/asperti"/>
   8  <author file="bologna/padovani"/>
   9  <author file="bologna/sacerdoti"/>
  10  <author file="bologna/schena"/>
  11  <where>Proceedings of the 14th International Conference on Theorem
  12   Proving in Higher Order Logics (TPHOLS 2001), 3-6 September 2001,
  13   Edinburgh, Scotland</where>
  14 </publication>