@article{Goldberg_2014,
    doi = {10.1007/s10703-014-0214-z},
    url = {https://doi.org/10.1007%2Fs10703-014-0214-z},
    year = {2014},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {45},
    number = {2},
    pages = {111--143},
    author = {Eugene Goldberg and Panagiotis Manolios},
    title = {Quantifier elimination by dependency sequents},
    journal = {Formal Methods in System Design}
}

@article{Goldberg_2014, doi = {10.1007/s10703-014-0214-z}, url = {https://doi.org/10.1007%2Fs10703-014-0214-z}, year = {2014}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {45}, number = {2}, pages = {111--143}, author = {Eugene Goldberg and Panagiotis Manolios}, title = {Quantifier elimination by dependency sequents}, journal = {Formal Methods in System Design} }