Lou van den Dries Jan Holly Quantifier Elimination for Modules with Scalar Variables. 161-179 1992 57 Ann. Pure Appl. Logic 2 db/journals/apal/apal57.html#DriesH92