pid	type	title	authors	mentors	source_title	published_date	url	doi	isbn	issn	eissn
pmf:12545	dissertation	"Bisimulacije i bisimulacijske igre za Verbruggeinu semantiku"	"Horvat, Sebastijan"								
pmf:5129	thesis	"Modalna potpunost logika interpretabilnosti"	"Horvat, Sebastijan"