X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fpapers%2Fmatita%2Fmatita.bib;h=f2f024e718d66a979a6bd90e27acffdf6fddaa7a;hb=88995fa8bedef76136f920b4c42e979d9c227f77;hp=4927850ba7c43fbc32574c237287829cc996eae2;hpb=7703897d2b14dd101c763a4aa6d99b7cc95011d1;p=helm.git

diff --git a/helm/papers/matita/matita.bib b/helm/papers/matita/matita.bib
index 4927850ba..f2f024e71 100644
--- a/helm/papers/matita/matita.bib
+++ b/helm/papers/matita/matita.bib
@@ -912,6 +912,15 @@
   year =         1998
 }
 
+@misc{content-centric,
+ author = "Andrea Asperti and Luca padovani and Claudio Sacerdoti Coen
+           and irene Schena",
+ title = "Content-centric Logical Envirnoments",
+ howpublished = "Short Presentation at the Fifteenth IEEE Symposium on Logic in Computer Science",
+ month = "June",
+ year = "2000",
+ key = "content centric"
+}
 
 @misc{mowgli-proposal,
  title = "The {MoWGLI Proposal}, {HTML} Version",