APA (7th ed.) Citation

Brüning, S. (1994). Techniques for avoiding redundancy in theorem proving based on the connection method ([Mikrofiche-Ausg.].).

Chicago Style (17th ed.) Citation

Brüning, Stefan. Techniques for Avoiding Redundancy in Theorem Proving Based on the Connection Method. [Mikrofiche-Ausg.]. 1994.

MLA (9th ed.) Citation

Brüning, Stefan. Techniques for Avoiding Redundancy in Theorem Proving Based on the Connection Method. [Mikrofiche-Ausg.]. 1994.