Y. Gao, “The Largest Pure Partial Planes of Order 6 Have Size 25”, Electron. J. Combin., vol. 25, no. 4, p. P4.10, Oct. 2018.