Generalized Unification in Prolog

TitleGeneralized Unification in Prolog
Publication TypeMiscellaneous
Year of Publication1984
AuthorsBoyer, M., and G. Lapalme
PublisherDépartement d'informatique et de recherche opérationnelle, Université de Montréal