3 <!DOCTYPE publication SYSTEM "publication.dtd">
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>