TY - JOUR T1 - Datalog with Non-Deterministic Choice Computers NDB-PTIME JF - J. Log. Program. Y1 - 1998 A1 - Fosca Giannotti A1 - Dino Pedreschi VL - 35 ER -