@phdthesis{pmf:12545,
	author = {{Horvat, Sebastijan}},
	title = {{Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku}},
}
@mastersthesis{pmf:5129,
	author = {{Horvat, Sebastijan}},
	title = {{Modalna potpunost logika interpretabilnosti}},
}