Stable Model Semantics for Founded Bounds

Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s147106841300032x