%0 Journal Article %1 journals/tocl/BogaertsC21 %A Bogaerts, Bart %A Cruz-Filipe, Luís %D 2021 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 6:1-6:19 %T Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints. %U http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#BogaertsC21 %V 22

@article{journals/tocl/BogaertsC21, added-at = {2021-07-25T00:00:00.000+0200}, author = {Bogaerts, Bart and Cruz-Filipe, Luís}, biburl = {https://www.bibsonomy.org/bibtex/2fcc05691215d2e67c9dfb09180f01d51/dblp}, ee = {https://doi.org/10.1145/3430750}, interhash = {447bf8c1164905a3707c9200d9cc5e56}, intrahash = {fcc05691215d2e67c9dfb09180f01d51}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {6:1-6:19}, timestamp = {2024-04-08T12:38:36.000+0200}, title = {Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl22.html#BogaertsC21}, volume = 22, year = 2021 }