Vasco Thudichum Vasconcelos. Unification of Kinded Infinite Trees. Inf. Process. Lett., 55(6):323-328, 1995. [doi]
@article{Vasconcelos95, title = {Unification of Kinded Infinite Trees}, author = {Vasco Thudichum Vasconcelos}, year = {1995}, doi = {10.1016/0020-0190(95)00100-Q}, url = {http://dx.doi.org/10.1016/0020-0190(95)00100-Q}, researchr = {https://researchr.org/publication/Vasconcelos95}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {55}, number = {6}, pages = {323-328}, }