M. Steindorfer, and J. Vinju. Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, page 783--800. New York, NY, USA, ACM, (2015)
M. Collins, and N. Duffy. Advances in Neural Information Processing Systems 14 --- Proceedings of the 2001 Neural Information Processing Systems Conference (NIPS 2001), December 3-8, 2001, Vancouver, British Columbia, Canada, page 625--632. MIT Press, Cambridge, MA, USA, (2002)
M. Balzer, and O. Deussen. Proceedings of the Proceedings of the 2005 IEEE Symposium on Information Visualization, page 7--. Washington, DC, USA, IEEE Computer Society, (2005)
S. Herrmann, A. Jensen, M. Joswig, and B. Sturmfels. (2008)cite arxiv:0808.2383
Comment: 21 pages, 10 figures; rewritten proof of Theorem 4.4 (which was
Theorem 4.3 before) for clarification, several other minor corrections.