ABDENNADHER, S., & RIGOTTI, C. (2003, January 1). Constraint solver synthesis using tabled resolution for constraint logic programming. Presented at the. Berlin: Springer, 2003. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15691027
ISO-690 (author-date, English)ABDENNADHER, Slim and RIGOTTI, Christophe, 2003. Constraint solver synthesis using tabled resolution for constraint logic programming. In: [online]. Berlin: Springer, 2003. 1 January 2003. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15691027
Modern Language Association 9th editionABDENNADHER, S., and C. RIGOTTI. Constraint solver synthesis using tabled resolution for constraint logic programming. Berlin: Springer, 2003., 2003, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15691027.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
ABDENNADHER, S. and RIGOTTI, C. (2003), “Constraint solver synthesis using tabled resolution for constraint logic programming”, in , Vol. , Berlin: Springer, 2003., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15691027.