Local box adjacency algorithms for cylindrical algebraic decompositions
scientific article; zbMATH DE number 1753681