Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints

Bart Bogaerts 0001, Luís Cruz-Filipe. Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints. ACM Trans. Comput. Log., 22(1), 2021. [doi]

Abstract

Abstract is missing.