I've been trying to find the most efficient unification algorithm by following reference chains on the Wikipedia article on unification. As far as I can tell, the fastest one is the one presented in "A Practical Unification Algorithm", but is there a faster one?
Asked
Active
Viewed 222 times
