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 (9th ed.) Citation

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