Generalized Unification in Prolog
| Title | Generalized Unification in Prolog |
| Publication Type | Miscellaneous |
| Year of Publication | 1984 |
| Authors | Boyer, M., and G. Lapalme |
| Publisher | Département d'informatique et de recherche opérationnelle, Université de Montréal |
