Initial commit of the XML/XSLT stuff.

[helm.git] / helm / mowgli / home / xml / publications / others / har_bg.xml

diff --git a/helm/mowgli/home/xml/publications/others/har_bg.xml b/helm/mowgli/home/xml/publications/others/har_bg.xml
new file mode 100644 (file)
index 0000000..2896fc3
--- /dev/null
+++ b/helm/mowgli/home/xml/publications/others/har_bg.xml
@@ -0,0 +1,11 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Proof Assistants using Dependent Type Systems</title>
+ <author file="nijmegen/barendregt"/>
+ <author file="nijmegen/geuvers"/>
+ <where>to appear as a chapter of the Handbook of Automated Reasoning, eds.
+  A. Robinson and A. Voronkov, Elsevier 2001</where>
+</publication>