Normalised rewriting and normalised completion (1994)

by C Marché
Venue:In Proc. 9th LICS