Zang, G.; Xu, M.; Gao, Z. High-Occupancy Vehicle Lanes and Tradable Credits Scheme for Traffic Congestion Management: A Bilevel Programming Approach. Promet 2018, 30, 1-10.