Equational constraint solving using quasi-solved forms (2004)

by J Álvez, P Lucio
Venue:In Proceedings of the 18th International Workshop on Unification (UNIF’04