Datalog with nondeterministic choice computes NDP-PTIME - Corciulo, Luca; Giannotti, Fosca; Pedreschi, Dino (1993)