+++ /dev/null
-<?xml version="1.0"?>
-
-<!DOCTYPE publication SYSTEM "publication.dtd">
-
-<publication>
- <title>Formal Mathematics on the Web</title>
- <author file="bologna/asperti"/>
- <author file="bologna/padovani"/>
- <author file="bologna/sacerdoti"/>
- <author file="bologna/schena"/>
- <where>Proceedings of the Eighth International Conference on
- "Libraries and Associations in the Transient World:
- New Technologies and New Forms of Cooperation", June 9-17, 2001,
- Sudak, Autonomous Republic of Crimea, Ukraine</where>
-</publication>