Définition et utilisation des S-L graphes en démonstration automatique. - Henri Saya (1975)