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.

L.  Corciulo, Giannotti, F., and Pedreschi, D., ?Datalog with Non-Deterministic Choice Computes NDB-PTIME?, in DOOD, 1993, pp. 49-66.