J. L. Yucas, “A classification theorem for quadratic forms over semi-local rings”, Ann. Math. Sil., vol. 2, pp. 7–12, Sep. 1986.