Grigoriev, D. (2013). Complexity of solving tropical linear systems. Computational Complexity, 22(1), 71-88. doi:10.1007/s00037-012-0053-5.