Une représentation graphique pour Prolog. - Michel Rueher; M. C. Thomas; A. Gubert; Didier Ladret (SPLT, 1986)

Un système de frames expertes en Prolog. - M. Arnoux; G. Becker; M. C. Thomas (SPLT, 1987)

Topological preservation techniques for nonlinear process monitoring. - Gregory Robertson; M. C. Thomas; José A. Romagnoli (Comput. Chem. Eng., 2015)