@misc {IOPORT.70937295,
    author       = {Dolzmann, Andreas and Gloor, Oliver and Sturm, Thomas},
    title        = {Approaches to parallel quantifier elimination},
    howpublished = {ISSAC, 88-95 (1998).},
    year         = {1998},
    doi          = {10.1145/281508.281564},
    identifier   = {70937295},
}