diplomski rad
Rezolucija i logičko programiranje

Franjo Kovačić (2015)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin