She, Z., Xia, B., & Xiao, R. (2006). A Semi-Algebraic Approach for the Computation of Lyapunov Functions. In 2th IASTED International Conference on COMPUTATIONAL INTELLIGENCE. Canada: ACTA Press.