APA (7th ed.) Citation

Cohen, D. N. (1981). Knowledge based theorem proving and learning. UMI Research Press.

Chicago Style (17th ed.) Citation

Cohen, Donald N. Knowledge Based Theorem Proving and Learning. Ann Arbor, Mich.: UMI Research Press, 1981.

MLA (8th ed.) Citation

Cohen, Donald N. Knowledge Based Theorem Proving and Learning. UMI Research Press, 1981.