Authors: PUDDU S SABIA J

Citation: S. Puddu et J. Sabia, AN EFFECTIVE ALGORITHM FOR QUANTIFIER ELIMINATION OVER ALGEBRAICALLY CLOSED FIELDS USING STRAIGHT-LINE PROGRAMS, Journal of pure and applied algebra, 129(2), 1998, pp. 173-200