Logical Characterization of Algebraic Circuit Classes over Integral Domains. - Timon Barlag; Florian Chudigiewitsch; Sabrina Alexandra Gaube (CoRR, 2023)

Algorithmic local monomialization of a binomial: A comparison of different approaches. - Sabrina Alexandra Gaube; Bernd Schober (Int. J. Algebra Comput., 2023)

Logical characterizations of algebraic circuit classes over integral domains. - Timon Barlag; Florian Chudigiewitsch; Sabrina Alexandra Gaube (Math. Struct. Comput. Sci., 2024)