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 |
