Cita APA (7a ed.)

Dixon, J. K. (1985). An improved method for solving deductive problems on a computer by compiled axioms. University Microfilms International.

Cita Chicago Style (17a ed.)

Dixon, John Kent. An Improved Method for Solving Deductive Problems on a Computer by Compiled Axioms. Ann Arbor: University Microfilms International, 1985.

Cita MLA (9a ed.)

Dixon, John Kent. An Improved Method for Solving Deductive Problems on a Computer by Compiled Axioms. University Microfilms International, 1985.