Fosca Giannotti Dino Pedreschi Domenico Saccà Carlo Zaniolo Non-Determinism in Deductive Databases. 129-146 1991 DOOD db/conf/dood/dood91.html#GiannottiPSZ91 http://dx.doi.org/10.1007/3-540-55015-1_7