A quantifier elimination for the theory
β
L. Egidi
π
Article
π
1998
π
Springer
π
English
β 651 KB