Mehmet Dincbas, Pascal Van Hentenryck. Algorithmes d unification étendue pour l intégration des langages fonctionnels et logiques. In SPLT 86, Séminaire Programmation en Logique, 21-23 mai 1986, Trégastel, France. pages 203-232, 1986.
Abstract is missing.