APA-Zitierstil (7. Ausg.)

McCune, W., & Padmanabhan, R. (1996). Automated deduction in equational logic and cubic curves. Springer.

Chicago-Zitierstil (17. Ausg.)

McCune, William, und Ranganathan Padmanabhan. Automated Deduction in Equational Logic and Cubic Curves. Berlin [u.a.]: Springer, 1996.

MLA-Zitierstil (9. Ausg.)

McCune, William, und Ranganathan Padmanabhan. Automated Deduction in Equational Logic and Cubic Curves. Springer, 1996.