@booklet {boyer84generalized,
	title = {Generalized Unification in {Prolog}},
	number = {521},
	year = {1984},
	month = {sep},
	publisher = {D{\'e}partement d{\textquoteright}informatique et de recherche op{\'e}rationnelle, Universit{\'e} de Montr{\'e}al},
	type = {Publication},
	author = {Michel Boyer and Guy Lapalme}
}
