X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=marco%20polo%2Fstatement.bib;h=fbe6808f297695f20080d0f069cfe13970500ccc;hb=dfcac7819cb61c55bf59e56f38f28be70fc95be7;hp=cff48696dd57cbc9c7d63146607d5932187bcd8f;hpb=f226d96900b53bd05be3370f08d93f4c4cfa39f9;p=fireball-separation.git

diff --git a/marco polo/statement.bib b/marco polo/statement.bib
index cff4869..fbe6808 100644
--- a/marco polo/statement.bib	
+++ b/marco polo/statement.bib	
@@ -1,6 +1,6 @@
 @article{bohm,
  author =       "Corrado B{\"o}hm",
- title =        "{Alcune} {Propriet{\`a}} delle {Forme} $\beta\eta$-normali nel
+ title =        "Alcune propriet{\`a} delle Forme $\beta\eta$-normali nel
  $\lambda${K}-calcolo. ({Italian})",
  journal =      "Pubblicazioni dell'IAC",
  volume =       "696:119",
@@ -9,7 +9,7 @@
 
 @article{DBLP:journals/tcs/Huet93,
   author    = {G{\'{e}}rard P. Huet},
-  title     = {An {Analysis} of {B}{\"{o}}hm's {T}heorem},
+  title     = {An Analysis of {B}{\"{o}}hm's theorem},
   journal   = {Theor. Comput. Sci.},
   volume    = {121},
   number    = {1{\&}2},
@@ -31,7 +31,7 @@
 
 @inproceedings{DBLP:conf/lics/Saurin05,
   author    = {Alexis Saurin},
-  title     = {Separation with Streams in the lambda{\(\mathrm{\mu}\)}-calculus},
+  title     = {Separation with Streams in the $\lambda\mu$-calculus},
   booktitle = {20th {IEEE} Symposium on Logic in Computer Science {(LICS} 2005),
                26-29 June 2005, Chicago, IL, USA, Proceedings},
   pages     = {356--365},
@@ -57,7 +57,7 @@
 
 @inproceedings{DBLP:conf/cade/Gacek08,
   author    = {Andrew Gacek},
-  title     = {{The} {Abella} {Interactive} {Theorem} {Prover} ({System} {Description})},
+  title     = {The Abella Interactive Theorem Prover ({System} Description)},
   booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
                Sydney, Australia, August 12-15, 2008, Proceedings},
   pages     = {154--161},
@@ -86,3 +86,43 @@
   biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cade/2008},
   bibsource = {dblp computer science bibliography, http://dblp.org}
 }
+
+@inproceedings{DBLP:conf/lics/AccattoliC15,
+  author    = {Beniamino Accattoli and
+               Claudio Sacerdoti Coen},
+  title     = {On the Relative Usefulness of Fireballs},
+  booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
+               2015, Kyoto, Japan, July 6-10, 2015},
+  pages     = {141--155},
+  year      = {2015},
+  crossref  = {DBLP:conf/lics/2015},
+  url       = {https://doi.org/10.1109/LICS.2015.23},
+  doi       = {10.1109/LICS.2015.23},
+  timestamp = {Thu, 15 Jun 2017 21:41:13 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/AccattoliC15},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+@proceedings{DBLP:conf/lics/2015,
+  title     = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
+               2015, Kyoto, Japan, July 6-10, 2015},
+  publisher = {{IEEE} Computer Society},
+  year      = {2015},
+  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7174833},
+  isbn      = {978-1-4799-8875-4},
+  timestamp = {Wed, 25 May 2016 10:19:57 +0200},
+  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lics/2015},
+  bibsource = {dblp computer science bibliography, http://dblp.org}
+}
+
+@article{BOHM1979271,
+title = "A discrimination algorithm inside $\lambda$-$\beta$-calculus",
+journal = "Theoretical Computer Science",
+volume = "8",
+number = "3",
+pages = "271 - 291",
+year = "1979",
+note = "",
+issn = "0304-3975",
+doi = "http://dx.doi.org/10.1016/0304-3975(79)90014-8",
+author = "C. B{\"o}hm and M. Dezani-Ciancaglini and P. Peretti and S. Ronchi Della Rocca",
+}