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