Quantifier elimination by Dependency Sequents.

Eugene Goldberg, Panagiotis Manolios

Browse the full FMCAD paper archive.