A sum-of-squares-based procedure to approximate the Pontryagin difference of basic semi-algebraic sets.