3 <!DOCTYPE publication SYSTEM "publication.dtd">
6 <title>Formal Mathematics in MathML</title>
7 <author file="bologna/asperti"/>
8 <author file="bologna/padovani"/>
9 <author file="bologna/sacerdoti"/>
10 <author file="bologna/schena"/>
11 <where>First MathML International Conference, October 20-21, 2000,
12 Urbana-Champaign, IL, USA.</where>