Aircraft Fleet Planning: An Optimization Model with Integrated $$ text {CO}_{2}$$ Trading Systems. - Lisa-Marie Manke; Imke Joormann (OR, 2022)