--- /dev/null
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Equational Reasoning via Partial Reflection</title>
+ <author file="nijmegen/geuvers"/>
+ <author file="nijmegen/wiedijk"/>
+ <author>
+ <name>J.</name>
+ <surname>Zwanenburg</surname>
+ </author>
+ <where>Theorem Proving for Higher Order Logics, TPHOL 2000, Portland OR, USA,
+ eds. M. Aagaard and J. Harrison, LNCS 1869, pp. 162 -- 178</where>
+</publication>