Précédence, analyse syntaxique et langages de programmation. - Alain Colmerauer (1967)

W-grammar. - Guy de Chastellier; Alain Colmerauer (ACM National Conference, 1969)

Total Precedence Relations. - Alain Colmerauer (J. ACM, 1970)

Metamorphosis Grammars. - Alain Colmerauer (Natural Language Communication with Computers, 1978)

About Natural Logic. - Alain Colmerauer; Jean François Pique (Advances in Data Base Theory, 1979)

Un sous-ensemble intéressant du français. - Alain Colmerauer (RAIRO Theor. Informatics Appl., 1979)

Last Steps Towards an Ultimate PROLOG. - Alain Colmerauer; Henry Kanoui; Michel Van Caneghem (IJCAI, 1981)

Demonstrating PROLOG on APPLE II. - Alain Colmerauer; Henry Kanoui; Michel Van Caneghem (IJCAI, 1981)

Prolog in Ten Figures. - Alain Colmerauer (IJCAI, 1983)

Prolog en 10 figures. - Alain Colmerauer (SPLT, 1983)

Equations and Inequations on Finite and Infinite Trees. - Alain Colmerauer (FGCS, 1984)

Prolog in 10 Figures. - Alain Colmerauer (Commun. ACM, 1985)

Note sur Prolog III. - Alain Colmerauer (SPLT, 1986)

Une introduction à Prolog III. - Alain Colmerauer (FODO, 1989)

Prolog III as it Actually Is. - Alain Colmerauer (ICLP, 1990)

An Introduction to Prolog III. - Alain Colmerauer (Commun. ACM, 1990)

Naive Solving of Non-linear Constraints. - Alain Colmerauer (WCLP, 1991)

The Birth of Prolog. - Alain Colmerauer; Philippe Roussel (HOPL Preprints, 1993)

Narrowing a Block of Sortings in Quadratic Time. - Noëlle Bleuzen-Guernalec; Alain Colmerauer (CP, 1997)

Conférence invitée: Négation et quantification dans les contraintes. - Alain Colmerauer (JFPLC, 2000)

Optimal Narrowing of a Block of Sortings in Optimal Time. - Noëlle Bleuzen-Guernalec; Alain Colmerauer (Constraints An Int. J., 2000)

Solving the Multiplication Constraint in Several Approximation Spaces. - Alain Colmerauer (ICLP, 2001)

Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees. - Alain Colmerauer (AISC, 2002)

Expressiveness of Full First-Order Constraints in the Algebra of Finite or Infinite Trees. - Alain Colmerauer; Thi-Bich-Hanh Dao (Constraints An Int. J., 2003)

On the Complexity of Universal Programs. - Alain Colmerauer (MCU, 2004)

Back to the Complexity of Universal Programs. - Alain Colmerauer (CP, 2008)