1. P. Deransart. Proofs of Declarative Properties of Logic Programs. In J.Diaz and F.Orejas, editors, Proceedings of International Joint Conference on TAPSOFT'89, pages 207–226, Barcelona, Spain, March 1989.
2. N. Dershowitz and Y.-J. Lee. Deductive Debugging. In Proceedings of 1987 Symposium of Logic Programming, pages 298–306. The IEEE Computer Society Press, 1987.
3. W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. The Use of Assertions in Algorithmic Debugging. In ICOT, editor, The Proceedings of the International Conference on Fifth Generation Computer Systems. ICOT, 1988.
4. W. Drabent, S. Nadjm-Tehrani, and J. Maluszynski. Algorithmic Debugging with Assertions. In Harvey Abramson and M.H. Rogers, editors, Meta-Programming in Logic Programming, pages 502–521. The MIT Press, 1989.
5. M. Ducassé. Opium+, a Meta-Debugger for Prolog. In Y. Kodratoff, editor, Proceedings of the eighth ECAI, pages 272–277, Münich, August 1–5 1988. Pitman.