-<?xml version="1.0"?>
-
-<!DOCTYPE publication SYSTEM "publication.dtd">
-
-<publication>
- <title>Formal Mathematics in MathML</title>
- <author file="bologna/asperti"/>
- <author file="bologna/padovani"/>
- <author file="bologna/sacerdoti"/>
- <author file="bologna/schena"/>
- <where>First MathML International Conference, October 20-21, 2000,
- Urbana-Champaign, IL, USA.</where>
-</publication>