Pascal Koiran Transfer theorems via sign conditions. 65-69 2002 81 Inf. Process. Lett. 2 db/journals/ipl/ipl81.html#Koiran02 http://dx.doi.org/10.1016/S0020-0190(01)00197-1