Mazhar، D. H.، و Chitil، O. (2010). An Educational Tool for Practising Resolution for Predicate Logic (رسالة ماجستير غير منشورة). University of Kent، كانتربري. مسترجع من http://search.mandumah.com/Record/602902
Mazhar، Dalal H.، و Olaf Chitil. "An Educational Tool for Practising Resolution for Predicate Logic" رسالة ماجستير. University of Kent، كانتربري، 2010. مسترجع من http://search.mandumah.com/Record/602902