Patrick Viry Elimination of Conditions. 381-401 1999 28 J. Symb. Comput. 3 db/journals/jsc/jsc28.html#Viry99 http://dx.doi.org/10.1006/jsco.1999.0288