M. Alpuente, M. Comini, S. Escobar, M. Falaschi, and S. Lucas, Abstract Diagnosis of Functional Programs, Proc. of LOPSTR 2002, pp.1-16, 2003.
DOI : 10.1007/3-540-45013-0_1

M. Alpuente, F. Correa, and M. Falaschi, A Debugging Scheme for Functional Logic Programs, Proc. of WFLP, 2001.

S. Antoy and S. Johnson, TeaBag: A Functional Logic Debugger, Proc. of WFLP 2004, pp.4-18, 2004.

F. Bueno, P. Deransart, W. Drabent, G. Ferrand, J. Hermenegildo et al., On the role of semantic approximations in validation and diagnosis of constraint logic programs, Proc. of AADEBUG'97, pp.155-170, 1997.

M. Cameron, M. García-de-la-banda, K. Marriott, and P. Moulder, ViMer, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming , PPDP '03, pp.56-66, 2003.
DOI : 10.1145/888251.888258

M. Comini, R. Gori, and G. Levi, Assertion based Inductive Verification Methods for Logic Programs, Proceedings of MFCSIT'2000, 2001.
DOI : 10.1016/S1571-0661(05)80036-2

M. Comini, G. Levi, M. C. Meo, and G. Vitiello, Proving properties of logic programs by abstract diagnosis, Proc. of LOMAPS'96, pp.22-50, 1996.
DOI : 10.1007/3-540-62503-8_2

M. Comini, G. Levi, M. C. Meo, and G. Vitiello, Abstract diagnosis, The Journal of Logic Programming, vol.39, issue.1-3, pp.43-93, 1999.
DOI : 10.1016/S0743-1066(98)10033-X

F. S. De-boer, M. Gabbrielli, E. Marchiori, and C. Palamidessi, Proving concurrent constraint programs correct, ACM Transactions on Programming Languages and Systems, vol.19, issue.5, pp.685-725177, 1987.
DOI : 10.1145/265943.265954

M. Hanus and B. Josephs, A debugging model for functional logic programs, Proc. of 5th PLILP, pp.28-43, 1993.
DOI : 10.1007/3-540-57186-8_69

M. Hanus and J. Koj, An integrated development environment for declarative multi-paradigm programming, Proc. of the International Workshop on Logic Programming Environments (WLPE'01), pp.1-14, 2001.

J. W. Lloyd, Declarative error diagnosis, New Generation Computing, vol.2, issue.No. 3, pp.133-154, 1987.
DOI : 10.1007/BF03037396

L. Naish and T. Barbour, Towards a portable lazy functional declarative debugger, Australian Computer Science Communications, vol.18, issue.1, pp.401-408, 1996.

M. Nielsen, C. Palamidessi, and F. D. Valencia, Temporal concurrent constraint programming: Denotation, logic and applications, Nordic Journal of Computing, vol.9, issue.1, pp.145-188, 2002.

C. Olarte and C. Rueda, A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems, Clei Electronic Journal, vol.9, issue.2, 2005.

V. Saraswat, R. Jagadeesan, and V. Gupta, Foundations of timed concurrent constraint programming, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science, pp.71-80, 1994.
DOI : 10.1109/LICS.1994.316085

V. A. Saraswat, The semantic foundations of concurrent constraint programming, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, 1991.
DOI : 10.1145/99583.99627

E. Y. Shaphiro, Algorithmic Program Debugging, 1982.

H. Tamaki and T. Sato, Unfold/Fold Transformations of Logic Programs, Proc. of 2nd ICLP, pp.127-139, 1984.