Cita APA (7th ed.)
Bläsius, K. H., & Bürckert, H. (1987). Deduktionssysteme: Automatisierung d. log. Denkens. Oldenbourg.
Cita Chicago (17th ed.)
Bläsius, Karl Hans, i Hans-Jürgen Bürckert. Deduktionssysteme: Automatisierung D. Log. Denkens. München, Wien: Oldenbourg, 1987.
Cita MLA (9th ed.)
Bläsius, Karl Hans, i Hans-Jürgen Bürckert. Deduktionssysteme: Automatisierung D. Log. Denkens. Oldenbourg, 1987.
Atenció: Aquestes cites poden no estar 100% correctes.