Sturm, Thomas Automation of Logic, MPI for Informatics, Max Planck Society;
Grigoriev2021_Article_EfficientlyAndEffectivelyRecog.pdf (Publisher version), 562KB
Grigoriev, D., Iosif, A., Rahkooy, H., Sturm, T., & Weber, A. (2021). Efficiently and Effectively Recognizing Toricity of Steady State Varieties. Mathematics in Computer Science, 15, 199-232. doi:10.1007/s11786-020-00479-9.