@book{id_6589,
author = "Jäger, Gerhard and Pohlers, Wolfram",
title = "Eine beweistheoretische Untersuchung von Delta12-CA BI und verwandter Systeme",
year = "1982",
address = "München",
publisher = "Verl. d. Bayer. Akad. d. Wiss.",
series = "Sitzungsbericht der Bayerischen Akademie der Wissenschaften",
volume = "1982,1.",
isbn = "3-7696-4699-1",
url = "http://publikationen.badw.de/de/001077193",
}