Corciulo L. Datalog with non-deterministic choice computes NDB-PTIME / L.Corciulo,F.Giannotti,D.Pedreschi, 1993. - 16 p. - Текст : непосредственный.