]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml
Initial commit of the XML/XSLT stuff.
[helm.git] / helm / mowgli / home / xml / publications / others / tphols2000_gwz.xml
diff --git a/helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml b/helm/mowgli/home/xml/publications/others/tphols2000_gwz.xml
new file mode 100644 (file)
index 0000000..4707310
--- /dev/null
@@ -0,0 +1,15 @@
+<?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>