The Axiom Scheme of Acyclic Comprehension. - Zuhair Al-Johar; M. Randall Holmes; Nathan J. Bowler (Notre Dame J. Formal Log., 2014)

Acyclic Comprehension is equal to Stratified Comprehension. - Zuhair Al-Johar; M. Randall Holmes (CoRR, 2020)