توثيق جمعية علم النفس الأمريكية APA (الطبعة السابعة)

Richards, T. (1989). Clausal form logic: An introduction to the logic of computer reasoning. Addison-Wesley Pub. Co..

توثيق أسلوب شيكاغو (الطبعة السابعة عشر)

Richards, Tom. Clausal Form Logic: An Introduction to the Logic of Computer Reasoning. Sydney ; Reading, Mass.: Addison-Wesley Pub. Co., 1989.

توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)

Richards, Tom. Clausal Form Logic: An Introduction to the Logic of Computer Reasoning. Addison-Wesley Pub. Co., 1989.