Harris, Kristian Frits (2008) Piranti lunak pembuktian pernyataan logika proposisi menggunakan metode resolusi. Bachelor thesis, Universitas Pelita Harapan.