1. Reduction operators and completion of rewriting systems. (January 2018) Authors: Chenavier, Cyrille Journal: Journal of symbolic computation Issue: Volume 84(2018) Page Start: 57 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗