An approach to computing downward closures