70937295

a

70937295 Dolzmann, Andreas Gloor, Oliver Sturm, Thomas Approaches to parallel quantifier elimination ISSAC, 88-95 (1998). 1998 EN

doi:10.1145/281508.281564