Werner, Johannes Martin (2015) Controlled Query Evaluation in General Semantics with Incomplete Information thesis, Institut für Informatik und angewandte Mathematik.