+++ /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>