Košta, Marek Automation of Logic, MPI for Informatics, Max Planck Society;
Brown, C. W., & Košta, M. (2015). Constructing a Single Cell in Cylindrical Algebraic Decomposition. Journal of Symbolic Computation, 70, 14-48. doi:10.1016/j.jsc.2014.09.024.