Quadratic modules over polynomial rings
Cancellation theorem for quadratic spaces
scientific article; zbMATH DE number 3719270