Reference
Gerhard Jäger, Wolfram Pohlers (1983): Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme – Sitzungsberichte der mathematisch-physikalischen Klasse der Bayerischen Akademie der Wissenschaften München – 1982: 1 - 28.