TY  - RPRT
TI  - Strictness of the Collapsible Pushdown Hierarchy
AU  - Alexander Kartzow
AU  - Paweł Parys
PY  - 2012
UR  - https://arxiv.org/abs/1201.3250
ID  - 1201.3250
ER  -