Christoforou, E. Mantzaflaris, A. Mourrain, B. Wintz, J., Axl, a Geometric Modeler for Semi-algebraic Shapes, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (10931 LNCS), 128-136, 2018, Springer-Verlag,