Brüning, S. (1994). Techniques for avoiding redundancy in theorem proving based on the connection method ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Brüning, Stefan. Techniques for Avoiding Redundancy in Theorem Proving Based on the Connection Method. [Mikrofiche-Ausg.]. 1994.
MLA-Zitierstil (9. Ausg.)Brüning, Stefan. Techniques for Avoiding Redundancy in Theorem Proving Based on the Connection Method. [Mikrofiche-Ausg.]. 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.