1. Corrigendum to "The F5 criterion revised" [J. Symb. Comput. 46 (2) (2011) 1017–1029]. (September 2017) Authors: Arri, Alberto; Perry, John Journal: Journal of symbolic computation Issue: Volume 82(2017) Page Start: 164 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗