Acquistapace, F.; Andradas, C.; Broglia, F. Classification of obstruction for separation of semialgebraic sets in dimension 3. Rev. mat. complut. 1997, 10, 27. https://doi.org/10.5209/rev_REMA.1997.v10.17330.