which grease remover do you use on roofs I assume you are referring to headliners. These should first be scraped with any number of methods and then thoroughly cleaned with a solvent that will remove the adhesive without leaving a residue behind.
I have relied on the use of lacquer thinner for this task for many reasons.
First, it dissolves glue quickly and it evaporates fast. The fumes are something to be cautious of, but if you are well ventilated and use a mask you will be fine.
Second, Lacquer thinner does not leave a residue like many petroleum base products that you have mentioned will. Glue will not adhere to this residue and you end up with another stage of cleaning to get rid of the oil.