A Knowledge-Based Expert System for Automatic Analysis and Synthesis in CAD. - Mehmet Dincbas (IFIP Congress, 1980)

Programmation en logique en environnement Lisp. - Serge Bourgault; Mehmet Dincbas; Didier Feuerstein (SPLT, 1982)

LISLOG: L'an II. - Serge Bourgault; Mehmet Dincbas; Didier Feuerstein; Jean-Pierre Le Pape (SPLT, 1983)

Nouvelle implémentation de METALOG. - Mehmet Dincbas; Jean-Pierre Le Pape (SPLT, 1983)

Metacontrol of Logic Programs in Metalog. - Mehmet Dincbas; Jean-Pierre Le Pape (FGCS, 1984)

Domains in Logic Programming. - Pascal Van Hentenryck; Mehmet Dincbas (AAAI, 1986)

Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques. - Mehmet Dincbas; Pascal Van Hentenryck (SPLT, 1986)

Forward Checking in Logic Programming. - Pascal Van Hentenryck; Mehmet Dincbas (ICLP, 1987)

Using Logic Programming for Fault Diagnosis in Digital Circuits. - Helmut Simonis; Mehmet Dincbas (GWAI, 1987)

Extended Unification Algorithms for the Integration of Functional Programming into Logic Programming. - Mehmet Dincbas; Pascal Van Hentenryck (J. Log. Program., 1987)

The CHIP System: Constraint Handling In Prolog. - Mehmet Dincbas; Pascal Van Hentenryck; Helmut Simonis; Abderrahmane Aggoun; Alexander Herold (CADE, 1988)

Solving the Car-Sequencing Problem in Constraint Logic Programming. - Mehmet Dincbas; Helmut Simonis; Pascal Van Hentenryck (ECAI, 1988)

The Constraint Logic Programming Language CHIP. - Mehmet Dincbas; Pascal Van Hentenryck; Helmut Simonis; Abderrahmane Aggoun; Thomas Graf; Françoise Berthier (FGCS, 1988)

Solving a Cutting-Stock Problem in Constraint Logic Programming. - Mehmet Dincbas; Helmut Simonis; Pascal Van Hentenryck (ICLP/SLP, 1988)

Applications of CHIP to Industrial and Engineering Problems. - Mehmet Dincbas; Pascal Van Hentenryck; Helmut Simonis; Abderrahmane Aggoun; Thomas Graf (IEA/AIE (Vol. 2), 1988)

Parallelism vs. Efficiency in Logic Programming. - Mehmet Dincbas (IFIP Congress, 1989)

Solving Large Combinatorial Problems in Logic Programming. - Mehmet Dincbas; Helmut Simonis; Pascal Van Hentenryck (J. Log. Program., 1990)

Propositional Calculus Problems in CHIP. - Helmut Simonis; Mehmet Dincbas (WCLP, 1991)

Constraint Programming - an Alternative to Expert Systems. - Mehmet Dincbas (IEA/AIE, 1992)

Constraint Satisfaction Using Constraint Logic Programming. - Pascal Van Hentenryck; Helmut Simonis; Mehmet Dincbas (Artif. Intell., 1992)

Applications et évolutions du langage CHIP. - Mehmet Dincbas (JFPLC, 1995)

Constraint Programming. - Mehmet Dincbas (ACM Comput. Surv., 1996)

A Methodological View of Constraint Solving. - Hubert Comon; Mehmet Dincbas; Jean-Pierre Jouannaud; Claude Kirchner (Constraints An Int. J., 1999)