Bundy, Alan
The computer modelling of mathematical reasoning
Academic Press, 1983
 Buku Teks
Automated reasoning : 6th international joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings
edited by Bernhard Gramlich, Dale Miller, Uli Sattler
Springer-Verlag, 2012
 eBooks
Eva Magdalena M.
Integrasi model cheking dengan interactive theorem proving pembuatan skrip pembuktian secara otomatis
Fakultas Ilmu Komputer Universitas Indonesia, 1997
 UI - Skripsi Membership
Mirza Razoki
Aplikasi teknik-teknik automated reasoning program untuk eksekusi simbolik suatu program
Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Indonesia, 1988
 UI - Skripsi Membership
Carnap, Rudolf
Introduction to symbolic logic and its
Dover Publications, 1958
 Buku Teks