TY - JOUR T1 - Nondeterministic, Nonmonotonic Logic Databases JF - IEEE Trans. Knowl. Data Eng. Y1 - 2001 A1 - Fosca Giannotti A1 - Giuseppe Manco A1 - Mirco Nanni A1 - Dino Pedreschi VL - 13 ER -