Active Integrity Constraints: From Theory to Implementation.

Lus Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan, Marta Ludovico, Isabel Nunes, Peter Schneider-Kamp

Browse the full IC3K paper archive.