Algorithmes d'unification étendue pour l'intégration des langages fonctionnels et logiques

Mehmet Dincbas,Pascal Van Hentenryck
Abstract:
What problem does this paper attempt to address?