F.  Giannotti, Greco, S., Saccà, D., and Zaniolo, C., ?Programming with Non-Determinism in Deductive Databases?, Ann. Math. Artif. Intell., vol. 19, pp. 97-125, 1997.

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