završni rad
Rezolucija za logiku prvog reda (slobodna tema)

Sebastijan Cikač (2010)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin