Fast left-linear semi-uni cation (1990)

by F Henglein
Venue:In Proceedings of International Conference on Computing and Information