Markwig, T., & Ren, Y. (2019). Computing Tropical Varieties Over Fields with Valuation. Foundations of Computational Mathematics, 20(4), https://doi.org/10.1007/s10208-019-09430-2