@conference {DBLP:conf/dood/CorciuloGP93, title = {Datalog with Non-Deterministic Choice Computes NDB-PTIME}, booktitle = {DOOD}, year = {1993}, pages = {49-66}, author = {Luca Corciulo and Fosca Giannotti and Dino Pedreschi} }