Quantifier elimination by dependency sequents
Crossref DOI link: https://doi.org/10.1007/s10703-014-0214-z
Published Online: 2014-08-14
Published Print: 2014-10
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Goldberg, Eugene
Manolios, Panagiotis
Text and Data Mining valid from 2014-08-14