@dblp

Inference of Monotonicity Constraints in Datalog Programs.

, and . PODS, page 190-199. ACM Press, (1989)

Links and resources

Tags