El Hihi, S., & Bernard, J.-C. (1990). Normalisation de relations en Prolog. (Rapport technique n° EPM-RT-90-04). Accès restreint
