3 <!DOCTYPE publication SYSTEM "publication.dtd">
6 <title>Proof Assistants using Dependent Type Systems</title>
7 <author file="nijmegen/barendregt"/>
8 <author file="nijmegen/geuvers"/>
9 <where>to appear as a chapter of the Handbook of Automated Reasoning, eds.
10 A. Robinson and A. Voronkov, Elsevier 2001</where>