Copied old code back in parser, to make andrea8 great again

[fireball-separation.git] / marco polo / statement.bib

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