Logical Invalidations of Semantic Annotations.

Julius Kpke, Johann Eder

Browse the full CaiSE paper archive.