| Original language | English |
|---|---|
| Article number | 6 |
| Pages (from-to) | 1-19 |
| Number of pages | 19 |
| Journal | ACM Transactions on Computational Logic |
| Volume | 20 |
| Issue number | 1 |
| Publication status | Published - Jan 2021 |
Stratification in Approximation Fixpoint Theory and Its Application to Active Integrity Constraints
Bart Bogaerts, Luis Cruz-Filipe
Research output: Contribution to journal › Article
2
Downloads
(Pure)