A bibliography of quantifier elimination for real closed fields (Q1103610)

A list of papers on quantifier elimination for real closed fields are referred with comments on their destination (e.g. tutorial, research etc.). It seems to be complete, but unfortunately short summaries and comparisons of different algorithms fail, what yields difficulties for the novice in this area. Also it is regretable that the supporting algorithms such as polynomial factoring and solving systems of algebraic equations tightly connected with the subject under discussion are absent.