Socher, R. (1990). Simplification and reduction for automated theorem proving.
Chicago-Zitierstil (17. Ausg.)Socher, Rolf. Simplification and Reduction for Automated Theorem Proving. 1990.
MLA-Zitierstil (9. Ausg.)Socher, Rolf. Simplification and Reduction for Automated Theorem Proving. 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.