M. K. Mohania and N. L. Sarda, “A Framework for Cooperative Deductive Database Systems”, Comput. Inform., vol. 14, no. 2, pp. 147–171, Jan. 2012.