helm/mowgli/home/xml/publications/others/har_bg.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE publication SYSTEM "publication.dtd">
   4
   5 <publication>
   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>
  11 </publication>