Positive Existential Definability with Unit, Addition and Coprimeness. - Mikhail R. Starchak (ISSAC, 2021)

On the Existential Arithmetics with Addition and Bitwise Minimum. - Mikhail R. Starchak (FoSSaCS, 2023)

Existential Definability of Unary Predicates in Büchi Arithmetic. - Mikhail R. Starchak (CiE, 2024)

Integer Linear-Exponential Programming in NP by Quantifier Elimination. - Dmitry Chistikov 001; Alessio Mansutti; Mikhail R. Starchak (ICALP, 2024)

One-Parametric Presburger Arithmetic Has Quantifier Elimination. - Alessio Mansutti; Mikhail R. Starchak (MFCS, 2025)