diplomski rad
Zaključivanje u deskriptivnim logikama

Tomislav Belcar (2011)
Sveučilište u Zagrebu
Fakultet organizacije i informatike Varaždin