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

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE publication SYSTEM "publication.dtd">
   4
   5 <publication>
   6  <title>Proof by Computation in the Coq system</title>
   7  <author>
   8   <name>M.</name>
   9   <surname>Oostdijk</surname>
  10  </author>
  11  <author file="nijmegen/geuvers"/>
  12  <where>To appear in Theoretical Computer Science, 2001</where>
  13 </publication>