The axiom scheme of acyclic comprehension Al-Johar, Z. Holmes, M.R. Bowler, Nathan James 2014 - Forschungsinformationssystem der UHH