Méthode de transformation de programmes de Burstall-Darlington appliquée à la programmation logique. - N. Azibi; Yves Kodratoff; Ernesto Jorge Costa (SPLT, 1986)