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.