APA-Zitierstil (7. Ausg.)

Maccune, W., & Padmanabhan, R. (1996). Automated deduction in equational logic and cubic curves ([1st ed.].). Springer.

Chicago-Zitierstil (17. Ausg.)

Maccune, William, und R. Padmanabhan. Automated Deduction in Equational Logic and Cubic Curves. [1st ed.]. Berlin: Springer, 1996.

MLA-Zitierstil (9. Ausg.)

Maccune, William, und R. Padmanabhan. Automated Deduction in Equational Logic and Cubic Curves. [1st ed.]. Springer, 1996.