Kapur, D., Zhang, Z., Horbach, M., Zhao, H., Lu, Q., & Nguyen, T. (2013). Geometric
Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. In M. P. Bonacina, &
M. E. Stickel (Eds.), Automated Reasoning and Mathematics
(pp. 189-228). Berlin: Springer. doi:10.1007/978-3-642-36675-8_11.