Quantifier Elimination in Fuzzy Logic.

Matthias Baaz, Helmut Veith

Browse the full CSL paper archive.