X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fsystem_T%2Flatex8.bib;fp=helm%2Fpapers%2Fsystem_T%2Flatex8.bib;h=4daa996ef911e241d9c7e53105c316fe6228ad5b;hb=5104e38ee747fd1052ce21f3f9f2ecc778d590ba;hp=0000000000000000000000000000000000000000;hpb=6355ac16ff3996e16d9d9cfb08e4184bc7962f8b;p=helm.git

diff --git a/helm/papers/system_T/latex8.bib b/helm/papers/system_T/latex8.bib
new file mode 100644
index 000000000..4daa996ef
--- /dev/null
+++ b/helm/papers/system_T/latex8.bib
@@ -0,0 +1,29 @@
+
+%
+%  $Description: Sample bibliography$ 
+% 
+%  $Author: ienne $ 
+%  $Date: 1995/09/15 15:19:53 $
+%  $Revision: 1.3 $
+%
+
+@Article{ex1,
+   author =   "Author, Ivan Marc",
+   title =   "Some Related Article {I} Wrote", 
+   journal =   "Some Fine Journal",
+   month = "January",
+   number = "7",
+   year =   "1999",
+   volume =   "99",
+   pages =   "1-100",
+}
+
+
+@Book{ex2,
+   author =   "Expert, Andreas Nikolaos", 
+   title =   "A Book He Wrote", 
+   publisher =   "His Publisher",
+   address = "Erewhon, NC",
+   year =   "1999"
+}
+