Generalized Unification in Prolog
| Titre | Generalized Unification in Prolog | 
| Type de publication | Miscellaneous | 
| Année de publication | 1984 | 
| Auteurs | Boyer, M., and G. Lapalme | 
| Éditeur | Département d'informatique et de recherche opérationnelle, Université de Montréal | 
 
        
