Relatively free implicative semi-lattices
scientific article; zbMATH DE number 3532979