@phdthesis{pmf:12545,
	author = {{Horvat, Sebastijan}},
	title = {{Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku}},
}
@phdthesis{pmf:9686,
	author = {{Mikec, Luka}},
	title = {{On logics and semantics for interpretability}},
}
@phdthesis{pmf:5777,
	author = {{Pažek, Bojan}},
	title = {{Izračunljivost skupova s nepovezanim komplementima}},
}
@phdthesis{pmf:5726,
	author = {{Burnik, Konrad}},
	title = {{Izračunljivost 1-mnogostrukosti}},
}