F.  Giannotti, Pedreschi, D., Saccà, D., and Zaniolo, C., ?Non-Determinism in Deductive Databases?, in DOOD, 1991, pp. 129-146.