3 <!DOCTYPE publication SYSTEM "publication.dtd">
6 <title>Equational Reasoning via Partial Reflection</title>
7 <author file="nijmegen/geuvers"/>
8 <author file="nijmegen/wiedijk"/>
11 <surname>Zwanenburg</surname>
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>