Behague, N.; Kuperus, A.; Morrison, N.; Wright, A. Improved Bounds for Cross-Sperner Systems. Electron. J. Combin. 2024, 31, P2.4.