Julius Köpke, Johann Eder. Logical Invalidations of Semantic Annotations. In Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza, editors, Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings. Volume 7328 of Lecture Notes in Computer Science, pages 144-159, Springer, 2012. [doi]
Abstract is missing.