@incollection{halting:density:ICALP2015,
    Author = {Bienvenu, Laurent and Desfontaines, Damien and Shen, Alexander},
    BookTitle = {Automata, Languages, and Programming},
    Editor = {Halld{\'o}rsson, Magn{\'u}s M. and Iwama, Kazuo and Kobayashi, Naoki and Speckmann, Bettina},
    ISBN = {978-3-662-47671-0},
    Language = {English},
    Pages = {219-230},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {What Percentage of Programs Halt?},
    URL = {http://dx.doi.org/10.1007/978-3-662-47672-7\_18},
    Volume = {9134},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-47672-7\_18},
    date-added = {2015-06-29 08:26:23 +0000},
    date-modified = {2015-06-29 08:26:23 +0000},
    doi = {10.1007/978-3-662-47672-7_18}
}

@incollection{halting:density:ICALP2015, Author = {Bienvenu, Laurent and Desfontaines, Damien and Shen, Alexander}, BookTitle = {Automata, Languages, and Programming}, Editor = {Halld{\'o}rsson, Magn{\'u}s M. and Iwama, Kazuo and Kobayashi, Naoki and Speckmann, Bettina}, ISBN = {978-3-662-47671-0}, Language = {English}, Pages = {219-230}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {What Percentage of Programs Halt?}, URL = {http://dx.doi.org/10.1007/978-3-662-47672-7_18}, Volume = {9134}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-47672-7_18}, date-added = {2015-06-29 08:26:23 +0000}, date-modified = {2015-06-29 08:26:23 +0000}, doi = {10.1007/978-3-662-47672-7_18} }