Modified Files:

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

diff --git a/helm/mowgli/home/xml/publications/others/cup_hp91.xml b/helm/mowgli/home/xml/publications/others/cup_hp91.xml
new file mode 100644 (file)
index 0000000..6b94c6f
--- /dev/null
+++ b/helm/mowgli/home/xml/publications/others/cup_hp91.xml
@@ -0,0 +1,16 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publication SYSTEM "publication.dtd">
+
+<publication>
+ <title>Logical Frameworks</title>
+ <author>
+  <name>G.</name>
+  <surname>Huet</surname>
+ </author>
+ <author>
+  <name>G.</name>
+  <surname>Plotkin</surname>
+ </author>
+ <where>Cambridge University Press, 1991</where>
+</publication>
\ No newline at end of file