Compilateur de machine universelle: MU. - Christophe Bisière; Denis Iwanesko; Jean-Michel Knippel; Jean-Luc Massat (Bull. dInformatique Approfondie et Appl., 1989)

Using Local Consistency Techniques to Solve Boolean Constraints. - Jean-Luc Massat (WCLP, 1991)

Boolean Pseudo-equations in Constraint Logic Programming. - Frédéric Benhamou; Jean-Luc Massat (ICLP, 1993)