1. Lect Notes Comput Sci;S. Abiteboul,1988
2. Lect Notes Comput Sci;J.J. Alferes,1997
3. Bonner, A.J., Kifer, M.: An Overview of Transaction Logic. Theoretical Computer Science, 133(2)(1994), 2-5-265.
4. Decker H.: An extension of SLD by abduction and integrity maintenance for view updating in deductive databases. In: Proc. of the 1996 International Conference on Logic Programming. MIT Press, (1996), 157–169.
5. Lect Notes Comput Sci;M. Dekhtyar,1997