Gélinas, F.; Segovia, A.; Thomas, H. Proof of a Conjecture of Matherne, Morales, and Selover on Encodings of Unit Interval Orders. Electron. J. Combin. 2026, 33, #P4.31.