Michael Rathjen: Kripke-Platek Set Theory and the Anti-Foundation Axiom. Math. Log. Q. 47(4): 435-440 (2001)