K-theories and free inductive graded rings in abstract quadratic forms theories - Roberto, Kaique Matias de Andrade; Mariano, Hugo Luiz (Categories and General Algebraic Structures with Applications, 2022)