Bản ghi email: Association between splenectomy and portal hypertension in the development of pulmonary hypertension