Relatively Complete and Efficient Partial Quantifier Elimination. - Estifanos Getachew; Arie Gurfinkel; Richard J. Trefler (CADE, 2025)