Yunfu Shen Elimination of algorithmic quantifiers for ordered differential algebra. 139-144 1999 38 Arch. Math. Log. 3 http://dx.doi.org/10.1007/s001530050119 db/journals/aml/aml38.html#Shen99