A Language and a Program for Stating and Solving Combinatorial Problems. - Jean-Louis Laurière (Artif. Intell., 1978)

Toward Efficiency Trough Generality. - Jean-Louis Laurière (IJCAI, 1979)

Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques. - Laurent Siklóssy; Jean-Louis Laurière (AAAI, 1982)

Symbolic normalized acquisition and representation of knowledge. - Bernadette Bouchon; Jean-Louis Laurière (Inf. Sci., 1985)

SNARK: A Language to Represent Declarative Knowledge and an Inference Engine which Uses Heuristics. - Jean-Louis Laurière; M. Vialatte (IFIP Congress, 1986)

Student modelling by a knowledge-based system. - Odile Paliès; Michel Caillot; Evelyne Cauzinille-Marmèche; Jean-Louis Laurière; Jaques Mathieu (Comput. Intell., 1986)

Problem solving and artificial intelligence. - Jean-Louis Laurière (Prentice Hall, 1989)