@phdthesis{pmf:9686,
	author = {{Mikec, Luka}},
	title = {{On logics and semantics for interpretability}},
}
@mastersthesis{pmf:5306,
	author = {{Mikec, Luka}},
	title = {{Topološka potpunost logika dokazivosti}},
}