F. Acquistapace, C. Andradas, and F. Broglia, “Classification of obstruction for separation of semialgebraic sets in dimension 3”, Rev. mat. complut., vol. 10, p. 27, Jan. 1997, doi: 10.5209/rev_REMA.1997.v10.17330.