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