Mohania, M. K.; Sarda, N. L. A Framework for Cooperative Deductive Database Systems. Comput. Inform. 2012, 14, 147-171.