@phdthesis{instance671,
	 title = {{Non-Deductive Reasoning for the Semantic Web and Software Analysis}},
	 author = {Christoph Kiefer},
	 editor = {Abraham Bernstein and Harald C. Gall},
	 year = {2009},
	 address = {Z{\"u}rich, Switzerland},
	 month = {January},
	 school = {University of Zurich, Department of Informatics},
	 group = {ddis},
	 Date-Added = {2026-08-02 18:39:38},
	 Date-Modified = {2026-08-02 18:54:22}
}