-<?xml version="1.0"?>
-
-<!DOCTYPE publication SYSTEM "publication.dtd">
-
-<publication>
- <title>Proof Assistants using Dependent Type Systems</title>
- <author file="nijmegen/barendregt"/>
- <author file="nijmegen/geuvers"/>
- <where>to appear as a chapter of the Handbook of Automated Reasoning, eds.
- A. Robinson and A. Voronkov, Elsevier 2001</where>
-</publication>