F.  Giannotti and Pedreschi, D., ?Datalog with Non-Deterministic Choice Computers NDB-PTIME?, J. Log. Program., vol. 35, pp. 79-101, 1998.