Damar Kristianto
Penggunaan sistem pakar berbasis data untuk menggambarkan tingkat kesulitan mata kuliah
Fakultas Teknik Universitas Indonesia, 1997
 UI - Skripsi Membership
Richards, Tom
Clausal form logic : an introduction to the logic of computer reasoning
Addison-Wesley Pub. Co., 1989
 Buku Teks
Transactions on large-scale data- and knowledge-centered systems VI: special issue on database- and expert-systems applications
editors-in-chief, Abdelkader Hameurlain, Josef Kung, Roland Wagner
Springer, 2012
 eBooks
Bramer, Max
Principles of data mining
Springer-Verlag, 2016
 eBooks
Kapantow, Gene H.M.
Pengujian kekonsistenan penambahan basis ilmu pengetahuan sistem pakar
Fakultas Ilmu Komputer Universitas Indonesia, 1990
 UI - Tesis Membership