TY - CONF T1 - Datalog with Non-Deterministic Choice Computes NDB-PTIME T2 - DOOD Y1 - 1993 A1 - Luca Corciulo A1 - Fosca Giannotti A1 - Dino Pedreschi JF - DOOD ER -