Guozhu Dong Seymour Ginsburg On the Decomposition of Datalog Program Mappings. 143-177 1990 76 Theor. Comput. Sci. 1 db/journals/tcs/tcs76.html#DongG90