Z. Frajzyngier, “On Segment Counting, OCP, and Heavy Segments”, FO or FOr, vol. 40, pp. 93–134, Aug. 2026.