@inproceedings{Zetzsche:DownwardComplexity:ICALP:2016,
    Annote = {Keywords: Downward closures, Complexity, Inclusion, Equivalence},
    Author = {Zetzsche, Georg},
    BookTitle = {Proc. of ICALP'16},
    File = {LIPIcs-ICALP-2016-123 (0) - a - a - b.pdf},
    ISBN = {978-3-95977-013-2},
    ISSN = {1868-8969},
    Keywords = {readme},
    Pages = {123:1--123:14},
    Series = {LIPIcs},
    Title = {{The Complexity of Downward Closure Comparisons}},
    URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6258},
    Volume = {55},
    Year = {2016},
    bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2016/6258},
    bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.123},
    date-added = {2017-04-03 18:09:01 +0000},
    date-modified = {2018-09-25 08:51:09 +0000},
    urn = {urn:nbn:de:0030-drops-62589},
    doi = {10.4230/LIPIcs.ICALP.2016.123}
}

@inproceedings{Zetzsche:DownwardComplexity:ICALP:2016, Annote = {Keywords: Downward closures, Complexity, Inclusion, Equivalence}, Author = {Zetzsche, Georg}, BookTitle = {Proc. of ICALP'16}, File = {LIPIcs-ICALP-2016-123 (0) - a - a - b.pdf}, ISBN = {978-3-95977-013-2}, ISSN = {1868-8969}, Keywords = {readme}, Pages = {123:1--123:14}, Series = {LIPIcs}, Title = {{The Complexity of Downward Closure Comparisons}}, URL = {http://drops.dagstuhl.de/opus/volltexte/2016/6258}, Volume = {55}, Year = {2016}, bdsk-url-1 = {http://drops.dagstuhl.de/opus/volltexte/2016/6258}, bdsk-url-2 = {http://dx.doi.org/10.4230/LIPIcs.ICALP.2016.123}, date-added = {2017-04-03 18:09:01 +0000}, date-modified = {2018-09-25 08:51:09 +0000}, urn = {urn:nbn:de:0030-drops-62589}, doi = {10.4230/LIPIcs.ICALP.2016.123} }