C.: Absoulte explicit unification (2000)

by N Bjorner, Muñoz
Venue:In: Proceedings of the 11th International Conference on Rewriting Techniques and Applications, RTA’00, LNCS