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