APA (7th ed.) Citation

Socher, R. (1991). Simplification and reduction for automated theorem proving.

Chicago Style (17th ed.) Citation

Socher, Rolf. Simplification and Reduction for Automated Theorem Proving. Kaiserslautern, 1991.

MLA (9th ed.) Citation

Socher, Rolf. Simplification and Reduction for Automated Theorem Proving. 1991.

Warning: These citations may not always be 100% accurate.