+\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