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

Capturing software processes through the generated objects. - Michel Rueher; Didier Ladret; Bruno Legeard (ISPW, 1988)

Une approche Multi-Aspects pour la négation: yet another article sur la négation en prolog?! - Didier Ladret (SPLT, 1989)

VLP: a visual logic programming language. - Didier Ladret; Michel Rueher (J. Vis. Lang. Comput., 1991)

Contribution of Logic Programming to Support Telecommunications Protocol Tests. - Didier Ladret; Michel Rueher (ICLP, 1993)