Serge Abiteboul Victor Vianu Non-Determinism in Logic-Based Languages. 151-186 1991 3 Ann. Math. Artif. Intell. 2-4 db/journals/amai/amai3.html#AbiteboulV91 http://dx.doi.org/10.1007/BF01530924