1. Lect Notes Comput Sci;S. Abiteboul,1988
2. Lect Notes Comput Sci;J.J. Alferes,1997
3. Chitta Baral and Michael Gelfond: Logic programming and knowledge representation. Journal of Logic Programming, 12:1–80, 1994.
4. Bonner, A.J., Kifer, M.: An Overview of Transaction Logic. Theoretical Computer Science, 133(2) (1994), 2-5-265.
5. 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.