Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti : doktorska disertacija - Čačić, Vedran (V. Čačić, 2011)
Na vrhu nasl. str.: Sveučilište u Zagrebu, Prirodoslvno-matematički fakultet, Matematički odsjek.