Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report | Digital Library | PAMCET | PAMCET