Normalne forme i svojstvo konačnih modela za logiku interpretabilnosti : doktorska disertacija - Čačić, Vedran (V. Čačić, 2011)