Inference of Inequality Constraints in Logic Programs.

Alexander Brodsky, Yehoshua Sagiv

Browse the full PODS paper archive.