Logical invalidations of semantic annotations (2012)

by Julius Köpke, Johann Eder
Venue:In Proc. CAiSE, volume 7328 of LNCS