R. Wang and N. Barnier, “Application of Compact Representation of Ordered Set to Air Traffic Conflict Resolution”, EEER, vol. 4, no. 1, Dec. 2024.