Black-box/white-box simplification and applications to quantifier elimination.

Christopher W. Brown, Adam W. Strzebonski

Browse the full ISSAC paper archive.