TY - JOUR T1 - Programming with Non-Determinism in Deductive Databases JF - Ann. Math. Artif. Intell. Y1 - 1997 A1 - Fosca Giannotti A1 - Sergio Greco A1 - Domenico SaccĂ  A1 - Carlo Zaniolo VL - 19 ER - TY - CONF T1 - Non-Determinism in Deductive Databases T2 - DOOD Y1 - 1991 A1 - Fosca Giannotti A1 - Dino Pedreschi A1 - Domenico SaccĂ  A1 - Carlo Zaniolo JF - DOOD ER -