TY - RPRT TI - Stratified formulas are equivalent to Acyclic formulas: A review AU - Zuhair Al-Johar PY - 2020 UR - https://arxiv.org/abs/2009.13274 ID - 2009.13274 ER -