Verdian, Hartanto (2007) Transformasi logika predikat ke dalam prenex normal form dengan menggunakan prolog. Bachelor thesis, Universitas Pelita Harapan.