undergraduate thesis
Resolution for first order logic

Sebastijan Cikač (2010)
University of Zagreb
Faculty of Organization and Informatics Varaždin