Serge Abiteboul Eric Simon Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. 137-158 1991 78 Theor. Comput. Sci. 1 db/journals/tcs/tcs78.html#AbiteboulS91