Jorge I. Guier Boolean products of real closed valuation rings and fields. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2001, v:112, n:2-3, pp:119-150 [Journal]
Vincent Astier Some model-theoretic results in the algebrais theory of quadratic forms. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2001, v:112, n:2-3, pp:189-223 [Journal]