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 | 
        