Dima Grigoriev, Vladimir V. Podolskii. Tropical Effective Primary and Dual Nullstellens"atze. In Ernst W. Mayr, Nicolas Ollinger, editors, 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany. Volume 30 of LIPIcs, pages 379-391, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]