@incollection{AGG10,
author={X. Allamigeon and S. Gaubert and \'E. Goubault},
title={The tropical double description method},
year={2010},
booktitle={Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science (STACS'2010, March 4-6, Nancy, France)},
publisher = {Leibniz Center in Informatics},
doi={10.4230/LIPIcs.STACS.2010.2443},
eprint={1001.4119},
}