Evaluation ensembliste en "largeur d'abord" dans Prolog. - R. Lescoeur; Jean-Marc Kerisit (SPLT, 1986)

The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. - Jean Rohmer; R. Lescoeur; Jean-Marc Kerisit (New Gener. Comput., 1986)

Efficient Query Answering on Stratified Databases. - Jean-Marc Kerisit; Jean-Marc Pugin (FGCS, 1988)

A Relational Approach to Logic Programming: The Extended Alexander Method. - Jean-Marc Kerisit (Theor. Comput. Sci., 1989)