ABDENNADHER, S., & RIGOTTI, C. (2003, Januar 1). Constraint solver synthesis using tabled resolution for constraint logic programming. Gehalten auf der. Berlin: Springer, 2003. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15691027
ISO-690 (author-date, English)ABDENNADHER, Slim und RIGOTTI, Christophe, 2003. Constraint solver synthesis using tabled resolution for constraint logic programming. In: [online]. Berlin: Springer, 2003. 1 Januar 2003. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15691027
Modern Language Association 9th editionABDENNADHER, S., und 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. und RIGOTTI, C. (2003), „Constraint solver synthesis using tabled resolution for constraint logic programming“, in , Bd. , Berlin: Springer, 2003., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=15691027.