Anthony J. Bonner Hypothetical Datalog: Complexity and Expressibility. 3-51 1990 76 Theor. Comput. Sci. 1 db/journals/tcs/tcs76.html#Bonner90