The Strength of Admissibility Without Foundation.

Gerhard Jäger
Published in: J. Symb. Log. (1984)