Inference of monotonicity constraints in Datalog programs
- Alexander Brodsky*
- , Yehoshua Sagiv
*Corresponding author for this work
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review