Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Rahkooy, H., & Sturm, T. (2020). First-Order Tests for Toricity. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing (pp. 510-527). Berlin: Springer. doi:10.1007/978-3-030-60026-6_30.