Paint remover. Paint and varnish removers (also known as stripping compounds, enamel strippers, brush cleaners, etc.) [with list of references].