helm/mowgli/home/xml/publications/others/cup_hp93.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE publication SYSTEM "publication.dtd">
   4
   5 <publication>
   6  <title>Logical Environments</title>
   7  <author>
   8   <name>G.</name>
   9   <surname>Huet</surname>
  10  </author>
  11  <author>
  12   <name>G.</name>
  13   <surname>Plotkin</surname>
  14  </author>
  15  <where>Cambridge University Press, 1993</where>
  16 </publication>