Buchanan, C.; Rombach, P. A Lower Bound on the Saturation Number and a Strengthening for Triangle-Free Graphs. Electron. J. Combin. 2025, 32, P3.14.