APA

McCune W., Padmanabhan R., . (1996). Automated Deduction in Equational Logic and Cubic Curves. Berlin, Heidelberg: Springer Berlin Heidelberg.

Chicago

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

Harvard

McCune W., Padmanabhan R., . (1996). Automated Deduction in Equational Logic and Cubic Curves. Berlin, Heidelberg: Springer Berlin Heidelberg.

MLA

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