Alexander Semenov Alexander Babichev Alexander Leshchenko Subdefinite Computations and Symbolic Transformations in the UniCalc Solver. 264-275 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#SemenovBL94