G. Loho, “Abstract Tropical Linear Programming”, Electron. J. Combin., vol. 27, no. 2, p. P2.51, Jun. 2020.