Nova, Andrew Risky (2007) Piranti lunak pembuktian pernyataan matematika logika proposisi berdasarkan rules of inference menggunakan algoritma rekursif. Bachelor thesis, Universitas Pelita Harapan.