1. ASC;S. Abdennadher,2000
2. Lecture Notes in Artificial Intelligence;S. Abdennadher,1998
3. Console, L., Dupr, D.T., Torasso, P.: On the relationship between abduction and deduction. J. Log. Comput. 1(5), 661–690 (1991)
4. De Koninck, L., Schrijvers, T., Demoen, B.: Search strategies in CHR(Prolog). In: Schrijvers, T., Frühwirth, Th. (eds.) Proceedings of the 3rd Workshop on Constraint Handling Rule, pp. 109–124. K.U.Leuven, Department of Computer Science, Technical report CW 452 (2006)
5. Lecture Notes in Computer Science;G.J. Duck,2004