Generalized Unification in Prolog

TitreGeneralized Unification in Prolog
Type de publicationMiscellaneous
Année de publication1984
AuteursBoyer, M., and G. Lapalme
ÉditeurDépartement d'informatique et de recherche opérationnelle, Université de Montréal