Scritical pairs and sunification (2004)

by Joseph Goguen, Monica Marcus
Venue:18th Workshop on Unification (UNIF’04