Parallélisme-OU et assertions Prolog. - Christian Percebois; F. Guerin; G. Orzati (SPLT, 1988)

Prise en Compte des Régles Metiers pour la Simulation et la Correction en Usinage CN. - F. Guerin; Fouad Bennis; Jean-Yves Hascoët (Applied Informatics, 1994)