F.  Giannotti, Pedreschi, D., and Zaniolo, C., ?Semantics and Expressive Power of Nondeterministic Constructs in Deductive Databases?, J. Comput. Syst. Sci., vol. 62, pp. 15-42, 2001.