@article {DBLP:journals/jlp/GiannottiP98, title = {Datalog with Non-Deterministic Choice Computers NDB-PTIME}, journal = {J. Log. Program.}, volume = {35}, number = {1}, year = {1998}, pages = {79-101}, author = {Fosca Giannotti and Dino Pedreschi} }