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

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE publication SYSTEM "publication.dtd">
   4
   5 <publication>
   6  <title>Equational Reasoning via Partial Reflection</title>
   7  <author file="nijmegen/geuvers"/>
   8  <author file="nijmegen/wiedijk"/>
   9  <author>
  10   <name>J.</name>
  11   <surname>Zwanenburg</surname>
  12  </author>
  13  <where>Theorem Proving for Higher Order Logics, TPHOL 2000, Portland OR, USA,
  14    eds. M. Aagaard and J. Harrison, LNCS 1869, pp. 162 -- 178</where>
  15 </publication>