Black, W.J.
Intelligent knowledge based systems : an introduction
Van Nostrand Reinhold, 1986
 Buku Teks
Waterman, Donald A.
Knowledge acquisition: the key to building expert systems
Addison-Wesley, 1987
 Buku Teks
Intelligent knowledge based systems: an introduction
edited by Tim O'Shea; John Self
Harper & Row, 1987
 Buku Teks
Holtzman, Samuel
Intelligent decision systems
Addison-Wesley, 1989
 Buku Teks
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley Pub. Co., 1989
 Buku Teks