TITLE     : Datalog with non deterministic choice computers NDB-PTIME
AUTHOR(S) : Giannotti F, Pedreschi D
TYPE      : Other
YEAR      : 1997
CODE      : 446355

*** DO NOT EDIT THIS FILE ***