Regular cylindrical algebraic decomposition. - James H. Davenport; Acyr F. Locatelli; Gregory K. Sankaran (CoRR, 2018)