master's thesis
Resolution and logic programming

Franjo Kovačić (2015)
University of Zagreb
Faculty of Organization and Informatics Varaždin