TY - RPRT TI - Acyclic Comprehension is equal to Stratified Comprehension AU - Zuhair Al-Johar AU - M. Randall Holmes PY - 2020 UR - https://arxiv.org/abs/2010.14949 ID - 2010.14949 ER -