Patrick Viry. Elimination of Conditions. Journal of Symbolic Computation, 28(3):381-401, 1999.
@article{Viry99, title = {Elimination of Conditions}, author = {Patrick Viry}, year = {1999}, researchr = {https://researchr.org/publication/Viry99}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {28}, number = {3}, pages = {381-401}, }