00514nas a2200133 4500008004100000245007800041210006900119300001000188100001900198700002100217700002000238700001900258856010300277 1994 eng d00aExpressive Power of Non-Deterministic Operators for Logic-based Languages0 aExpressive Power of NonDeterministic Operators for Logicbased La a27-401 aCorciulo, Luca1 aGiannotti, Fosca1 aPedreschi, Dino1 aZaniolo, Carlo uhttps://kdd.isti.cnr.it/content/expressive-power-non-deterministic-operators-logic-based-languages00441nas a2200121 4500008004100000245006100041210005900102300001000161100001900171700002100190700002000211856008800231 1993 eng d00aDatalog with Non-Deterministic Choice Computes NDB-PTIME0 aDatalog with NonDeterministic Choice Computes NDBPTIME a49-661 aCorciulo, Luca1 aGiannotti, Fosca1 aPedreschi, Dino uhttps://kdd.isti.cnr.it/content/datalog-non-deterministic-choice-computes-ndb-ptime