Grigoriev, D. (2012). On a tropical dual Nullstellensatz. Advances in Applied Mathematics, 48(2), 457-464. doi:10.1016/j.aam.2011.11.004.