TY - RPRT TI - The complexity of downward closure comparisons AU - Georg Zetzsche PY - 2016 UR - https://arxiv.org/abs/1605.03149 ID - 1605.03149 ER -