Jäger, Gerhard; Pohlers, Wolfram: Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme. München 1983. Sitzungsberichte: 1982,1. https://publikationen.badw.de/de/001077193