1. D. Avis and K. Fukuda, A basis enumeration algorithm for convex hulls and vertex enumeration of arrangements and polyhedra., Discrete Computational Geometry, 8 (1992), pp. 295-313.
2. R. Bieri and J. Groves, The geometry of the set of characters induced by valuations, J. reine and angewandte Mathematik, 347 (1984), pp. 168-195.
3. T. Bogart, A. Jensen, R. Thomas, D. Speyer, and B. Sturmfels, Computing tropical varieties., J. Symb. Comput., 42 (2007), pp. 54-73.
4. S. Collart, M. Kalkbrener, and D. Mall, Converting bases with the Grobner walk., J. Symb. Comput., 24 (1997), pp. 465-469.
5. K. Fukuda, cddlib reference manual, cddlib Version 094b, Swiss Federal Institute of Technology, Lausanne and Zurich, Switzerland, 2005. ( http://www.ifor.math.ethz.ch/-fukuda/cdd-home/cdd.html .)