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 -