@phdthesis{publication-345,
	author={Kiefer, C},
	editor={Bernstein, A and Gall, H},
	faculty={Faculty of Economics, Business Administration and Information Technology},
	institution={University of Zurich},
	pages=205,
	title={Non-deductive reasoning for the semantic web and software analysis},
	year=2008,
}