Generalized Unification in Prolog

TitreGeneralized Unification in Prolog
Type de publicationMiscellaneous
Year of Publication1984
AuteursBoyer, M., and G. Lapalme
PublisherDépartement d'informatique et de recherche opérationnelle, Université de Montréal