D.  Pedreschi and Ruggieri, S., ?Bounded Nondeterminism of Logic Programs?, Ann. Math. Artif. Intell., vol. 42, pp. 313-343, 2004.