Generic Extensions of a Prolog Browser. - Jacques Bellone; AbdelAli Ed-Dbali; Christian Gresse (SPLT, 1989)

Software Formal Specification by Logic Programming: The Example of Standard Prolog. - AbdelAli Ed-Dbali; Pierre Deransart (Logic Programming Summer School, 1992)

Prolog - the standard: reference manual. - Pierre Deransart; AbdelAli Ed-Dbali; Laurent Cervoni (Springer, 1996)

HyperPro: Un environment intégré de documentation pour la PLC. - AbdelAli Ed-Dbali; Pierre Deransart; Mariza Andrade da Silva Bigonha; José de Siqueira; Roberto da Silva Bigonha (JFPLC, 2001)

HyperPro - An integrated documentation environment for CLP. - AbdelAli Ed-Dbali; Pierre Deransart; Mariza Andrade da Silva Bigonha; José de Siqueira; Roberto da Silva Bigonha (WLPE, 2001)

Intermediate (Learned) Consistencies. - Arnaud Lallouet; Andrei Legtchenko; Thi-Bich-Hanh Dao; AbdelAli Ed-Dbali (CP, 2003)

Learning Approximate Consistencies. - Arnaud Lallouet; Andrei Legtchenko; Thi-Bich-Hanh Dao; AbdelAli Ed-Dbali (CSCLP, 2003)

Language, Definition and Optimal Computation of CSP Approximations. - Arnaud Lallouet; Thi-Bich-Hanh Dao; AbdelAli Ed-Dbali (FLAIRS, 2003)

Finite Domain Constraint Solver Learning. - Arnaud Lallouet; Thi-Bich-Hanh Dao; Andrei Legtchenko; AbdelAli Ed-Dbali (IJCAI, 2003)

Apprentissage de solveurs de contraintes sur les domaines finis. - AbdelAli Ed-Dbali; Thi-Bich-Hanh Dao; Arnaud Lallouet; Andrei Legtchenko (Tech. Sci. Informatiques, 2003)

Intermediate Consistencies by Delaying Expensive Propagators. - Andrei Legtchenko; Arnaud Lallouet; AbdelAli Ed-Dbali (FLAIRS, 2004)