並前往https://www.researchgate.net/publication/361479922_Decoupling_the_ascending_and_descending_phases_in_Abstract_Interpretation/download