@phdthesis{pmf:9686,
	author = {{Mikec, Luka}},
	title = {{On logics and semantics for interpretability}},
}