L.  Corciulo, Giannotti, F., Pedreschi, D., and Zaniolo, C., ?Expressive Power of Non-Deterministic Operators for Logic-based Languages?, in Workshop on Deductive Databases and Logic Programming, 1994, pp. 27-40.