@inproceedings{Zetzsche:ICALP:2015,
    Author = {Zetzsche, Georg},
    BookTitle = {Proc. of ICALP'15},
    Editor = {Halld{\'o}rsson, Magn{\'u}s M. and Iwama, Kazuo and Kobayashi, Naoki and Speckmann, Bettina},
    File = {An Approach to Computing Downward Closures - Zetzsche (0) (0) - a - a - d.pdf},
    ISBN = {978-3-662-47665-9},
    Language = {English},
    Pages = {440--451},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {An Approach to Computing Downward Closures},
    URL = {http://dx.doi.org/10.1007/978-3-662-47666-6\_35},
    Volume = {9135},
    Year = {2015},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-47666-6\_35},
    date-added = {2016-01-12 14:01:51 +0000},
    date-modified = {2019-05-17 14:35:52 +0200},
    doi = {10.1007/978-3-662-47666-6_35}
}

@inproceedings{Zetzsche:ICALP:2015, Author = {Zetzsche, Georg}, BookTitle = {Proc. of ICALP'15}, Editor = {Halld{\'o}rsson, Magn{\'u}s M. and Iwama, Kazuo and Kobayashi, Naoki and Speckmann, Bettina}, File = {An Approach to Computing Downward Closures - Zetzsche (0) (0) - a - a - d.pdf}, ISBN = {978-3-662-47665-9}, Language = {English}, Pages = {440--451}, Publisher = {Springer}, Series = {LNCS}, Title = {An Approach to Computing Downward Closures}, URL = {http://dx.doi.org/10.1007/978-3-662-47666-6_35}, Volume = {9135}, Year = {2015}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-662-47666-6_35}, date-added = {2016-01-12 14:01:51 +0000}, date-modified = {2019-05-17 14:35:52 +0200}, doi = {10.1007/978-3-662-47666-6_35} }