On the Expressiveness of Büchi Arithmetic. - Christoph Haase; Jakub Rózycki (FoSSaCS, 2021)

Linear equations for unordered data vectors. - Piotr Hofman; Jakub Rózycki (CoRR, 2021)

Linear equations for unordered data vectors in $[D]^k to{}Z^d$. - Piotr Hofman; Jakub Rózycki (Log. Methods Comput. Sci., 2022)