Effective Strictness Analysis with HORN Constraints.

Kevin Glynn, Peter J. Stuckey, Martin Sulzmann

Browse the full SAS paper archive.