@Book{JägerPohlers1983,
author  = "Jäger, Gerhard and Pohlers, Wolfram",
title   = "Eine beweistheoretische Untersuchung von (Delta12-CA) + (BI) und verwandter Systeme",
year    = "1983",
address = "München",
series  = "Sitzungsberichte",
volume  = "1982,1",
url     = "https://publikationen.badw.de/de/001077193",
}