D.  Pedreschi and Ruggieri, S., ?Bounded Nondeterminism of Logic Programs?, in ICLP, 1999, pp. 350-364.